ZB 2002:Formal Specification and Development in Z and B

2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

  • Didier Bert
  • Jonathan P. Bowen
  • Martin C. Henson
  • Ken Robinson
Conference proceedings ZB 2002

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Eric Hehner, Ioannis T. Kassios
    Pages 1-21
  3. Dominique Cansell, Ganesh Gopalakrishnan, Mike Jones, Dominique Méry, Airy Weinzoepflen
    Pages 22-41
  4. Michael Poppleton, Richard Banach
    Pages 42-61
  5. Graeme Smith, Florian Kammüller, Thomas Santen
    Pages 82-99
  6. Ian Toyn, Susan Stepney
    Pages 100-119
  7. Marielle Doche, Andrew Gravell
    Pages 120-139
  8. Leonid Mikhailov, Michael Butler
    Pages 140-161
  9. Jim Woodcock, Ana Cavalcanti
    Pages 184-203
  10. Ralph Miarka, John Derrick, Eerke Boiten
    Pages 204-225
  11. Eerke Boiten
    Pages 226-241
  12. Jean-Raymond Abrial, Louis Mussat
    Pages 242-269
  13. Steve Dunne
    Pages 270-290
  14. Bruno Legeard, Fabien Peureux, Mark Utting
    Pages 309-329
  15. David Basin, Frank Rittinger, Luca Viganó
    Pages 330-349
  16. Jean-Paul Bodeveix, Mamoun Filali
    Pages 350-369
  17. Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte
    Pages 370-393

About these proceedings

Keywords

B method Formal methods UML Z notation formal specification formal verification software construction software design systems development

Editors and affiliations

  • Didier Bert
    • 1
  • Jonathan P. Bowen
    • 2
  • Martin C. Henson
    • 3
  • Ken Robinson
    • 4
  1. 1.Laboratoire LSR, IMAGCNRSSaint Martin d’Hères CedexFrance
  2. 2.SCISM, Centre for Applied Fromal MethodsSouthBank UniversityLondonUK
  3. 3.Department of Computer ScienceUniversity of EssexColchesterUK
  4. 4.CAESER, The School of Computer Science and EngineeringThe University of New South Wales, UNSWSydneyAustralia

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45648-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43166-4
  • Online ISBN 978-3-540-45648-3
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace