Advertisement

© 2003

ZB 2003: Formal Specification and Development in Z and B

Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

  • Didier Bert
  • Jonathan P. Bowen
  • Steve King
  • Marina Waldén
Conference proceedings ZB 2003

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

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Daniel Jackson
    Pages 1-1
  3. Susan Stepney, Fiona Polack, Ian Toyn
    Pages 2-19
  4. Susan Stepney, Fiona Polack, Ian Toyn
    Pages 20-39
  5. Sandrine Blazy, Frédéric Gervais, Régine Laleau
    Pages 40-57
  6. Helen Treharne, Steve Schneider, Marchia Bramble
    Pages 58-78
  7. Frédéric Peschanski, David Julien
    Pages 79-97
  8. Stefan Hallerstede
    Pages 101-102
  9. Moshe Deutsch, Martin C. Henson, Steve Reeves
    Pages 103-126
  10. John Derrick, Heike Wehrheim
    Pages 127-147
  11. Moshe Deutsch, Martin C. Henson
    Pages 148-167
  12. Jean-Raymond Abrial
    Pages 168-177
  13. Steve Dunne
    Pages 178-196
  14. Bill Stoddart, Frank Zeyda
    Pages 197-215
  15. Annabelle McIver, Carroll Morgan, Thai Son Hoang
    Pages 216-239
  16. Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
    Pages 240-259
  17. Graeme Smith, Kirsten Winter
    Pages 260-279
  18. Kirsten Winter, Graeme Smith
    Pages 280-299
  19. John Derrick
    Pages 300-318

Other volumes

  1. Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings
  2. ZB 2003: Formal Specification and Development in Z and B
    Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

About these proceedings

Keywords

B method Unified Modeling Language (UML) XML Z notation ZML algorithm algorithms communication design formal specification modeling object-Z program transformation systems development verification

Editors and affiliations

  • Didier Bert
    • 1
  • Jonathan P. Bowen
    • 2
  • Steve King
    • 3
  • Marina Waldén
    • 4
  1. 1.Laboratoire LSR-IMAGCNRSSaint-Martin-d’Heres CedexFrance
  2. 2.CISMLondon South Bank UniversityLondonUK
  3. 3.Department of Computer ScienceUniversity of YorkHeslington, YorkUK
  4. 4.Department of Computer ScienceÅbo Akademi UniversityTurkuFinland

Bibliographic information

Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Engineering
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace