B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings (Lecture Notes in Computer Science, 1393)

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. On B / Jean-raymond Abrial -- The Generalised Substitution Language Extended To Probabilistic Programs / Carroll Morgan -- MÉtÉor : An Industrial Success In Formal Development / Patrick Behm, Pierre Desforges, Jean-marc Meynadier -- Cost Effectiveness Of Formal Methods In The Development Of Avionics Systems At AÉrospatiale / François Pilarski -- Well Defined B / Patrick Behm, Lilian Burdy, Jean-marc Meynadier -- Composition And Refinement In The B-method / Marie-laure Potet, Yann Rouzaud -- Formalisation Of B In Isabelle/hol / Pierre Chartier -- Introducing Dynamic Constraints In B / Jean-raymond Abrial, Louis Mussat -- Retrenchment : An Engineering Variation On Refinement / Richard H. Banach, Michael R. Poppleton -- Synthesizing Structure From Flat Specifications / Brian Matthews, Brian Ritchie, Juan Bicarregui -- An Object-based Approach To The B Formal Method / Alexander Malioukov -- Graphical Design Of Reactive Systems / Emil Sekerinski -- Process Control Engineering : Contribution To A Formal Structuring Framework With The B Method / Jean-françois Pétin [and Others] -- Designing A B Model For Safety-critical Software Systems / Souâd Taouil-traverson, Sylvie Vignes -- Abstract State Machines : Designing Distributed Systems With State Machines And B / Bill Stoddart [and Others] -- Layering Distributed Algorithms Wihin The B-method / Marina Waldén -- Two Strategies To Data-refine An Equivalence To A Forest / Philipp Heuberger -- Specification Of An Integrated Circuit Card Protocol Application Using The B Method And Linear Temporal Logic / Jacques Julliand [and Others] -- Test Case Preparation Using A Prototype / H. Treharne, J. Draper, S. Schneider. Didier Bert (ed.). Includes Bibliographical References And Index. 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