Skip to main content
SpringerLink
Log in
Book cover

B'98: Recent Advances in the Development and Use of the B Method

Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Didier Bert
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1393)

Included in the following conference series:

Conference proceedings info: B 1998.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Download chapter PDF

  2. On B

    • Jean -Raymond Abrial
    Pages 1-8

  3. The generalised substitution language extended to probabilistic programs

    • Carroll Morgan
    Pages 9-25

  4. MéTéOR: An industrial success in formal development

    • Patrick Behm, Pierre Desforges, Jean -Marc Meynadier
    Pages 26-26

  5. Cost effectiveness of formal methods in the development of avionics systems at Aérospatiale

    • FranÇois Pilarski
    Pages 27-28

  6. Well defined B

    • Patrick Behm, Lilian Burdy, Jean -Marc Meynadier
    Pages 29-45

  7. Composition and refinement in the B-method

    • Marie -Laure Potet, Yann Rouzaud
    Pages 46-65

  8. Formalisation of B in Isabelle/HOL

    • Pierre Chartier
    Pages 66-82

  9. Introducing dynamic constraints in B

    • Jean -Raymond Abrial, Louis Mussat
    Pages 83-128

  10. Retrenchment: An engineering variation on refinement

    • R. Banach, M. Poppleton
    Pages 129-147

  11. Synthesising structure from flat specifications

    • Brian Matthews, Brian Ritchie, Juan Bicarregui
    Pages 148-161

  12. An object-based approach to the B formal method

    • Alexander Malioukov
    Pages 162-181

  13. Graphical design of reactive systems

    • Emil Sekerinski
    Pages 182-197

  14. Process control engineering: Contribution to a formal structuring framework with the B method

    • Jean -FranÇois Pétin, Gérard Morel, Dominique Méry, Patrick Lamboley
    Pages 198-209

  15. Designing a B model for safety-critical software systems

    • Souâd Taouil-Traverson, Sylvie Vignes
    Pages 210-225

  16. Abstract state machines: Designing distributed systems with state machines and B

    • Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore
    Pages 226-242

  17. Layering distributed algorithms within the B-method

    • M. Waldén
    Pages 243-260

  18. Two strategies to data-refine an equivalence to a forest

    • Philipp Heuberger
    Pages 261-272

  19. Specification of an integrated circuit card protocol application using the B method and linear temporal logic

    • Jacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno TatibouËt
    Pages 273-292

  20. Test case preparation using a prototype

    • H. Treharne, J. Draper, S. Schneider
    Pages 293-311
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation