Advertisement

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
  18. James Blow, Andy Galloway
    Pages 396-415
  19. Steve Schneider, Helen Treharne
    Pages 416-435
  20. Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
    Pages 436-457
  21. Françoise Bellegarde, Samir Chouali, Jacques Julliand
    Pages 477-496
  22. Back Matter
    Pages 535-535

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering