Table of contents

  1. Front Matter
  2. Jean -Raymond Abrial
    Pages 1-8
  3. Patrick Behm, Pierre Desforges, Jean -Marc Meynadier
    Pages 26-26
  4. Patrick Behm, Lilian Burdy, Jean -Marc Meynadier
    Pages 29-45
  5. Marie -Laure Potet, Yann Rouzaud
    Pages 46-65
  6. Pierre Chartier
    Pages 66-82
  7. Jean -Raymond Abrial, Louis Mussat
    Pages 83-128
  8. R. Banach, M. Poppleton
    Pages 129-147
  9. Brian Matthews, Brian Ritchie, Juan Bicarregui
    Pages 148-161
  10. Alexander Malioukov
    Pages 162-181
  11. Emil Sekerinski
    Pages 182-197
  12. Jean -FranÇois Pétin, Gérard Morel, Dominique Méry, Patrick Lamboley
    Pages 198-209
  13. Souâd Taouil-Traverson, Sylvie Vignes
    Pages 210-225
  14. Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore
    Pages 226-242
  15. Jacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno TatibouËt
    Pages 273-292
  16. H. Treharne, J. Draper, S. Schneider
    Pages 293-311

Other volumes

  1. B’98: Recent Advances in the Development and Use of the B Method
    Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings
  2. 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

About these proceedings

Introduction

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.

Keywords

Formal Methods Software Construction Software Design Software Specification The B Method design formal method

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64405-7
  • Online ISBN 978-3-540-69769-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349