This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998.
The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development.
Author(s): Jean -Raymond Abrial (auth.), Didier Bert (eds.)
Series: Lecture Notes in Computer Science 1393
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1998
Language: English
Pages: 320
Tags: Software Engineering; Logics and Meanings of Programs
On B....Pages 1-8
The generalised substitution language extended to probabilistic programs....Pages 9-25
MéTéOR: An industrial success in formal development....Pages 26-26
Cost effectiveness of formal methods in the development of avionics systems at Aérospatiale....Pages 27-28
Well defined B....Pages 29-45
Composition and refinement in the B-method....Pages 46-65
Formalisation of B in Isabelle/HOL....Pages 66-82
Introducing dynamic constraints in B....Pages 83-128
Retrenchment: An engineering variation on refinement....Pages 129-147
Synthesising structure from flat specifications....Pages 148-161
An object-based approach to the B formal method....Pages 162-181
Graphical design of reactive systems....Pages 182-197
Process control engineering: Contribution to a formal structuring framework with the B method....Pages 198-209
Designing a B model for safety-critical software systems....Pages 210-225
Abstract state machines: Designing distributed systems with state machines and B....Pages 226-242
Layering distributed algorithms within the B-method....Pages 243-260
Two strategies to data-refine an equivalence to a forest....Pages 261-272
Specification of an integrated circuit card protocol application using the B method and linear temporal logic....Pages 273-292
Test case preparation using a prototype....Pages 293-311
