Cover Image

B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings /

Show other versions (1)

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 popula...

Full description

Bibliographic Details
Corporate Authors: International B Conference Montpellier, France, SpringerLink (Online service)
Other Authors: Bert, Didier
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1998]
Series:Lecture notes in computer science ; 1393.
Subjects:
B method (Computer science) > Congresses.
Debugging in computer science > Congresses.
B method (Computer science)
Debugging in computer science.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • 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 ... [et al.]
  • 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 ... [et al.]
  • 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 ... [et al.]
  • Test case preparation using a prototype / H. Treharne, J. Draper, S. Schneider.