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

DOI: 10.1007/3-540-44880-2

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

  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40253-4
  • Online ISBN 978-3-540-44880-8
  • Series Print ISSN 0302-9743