ZB 2005: Formal Specification and Development in Z and B

4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

  • Helen Treharne
  • Steve King
  • Martin Henson
  • Steve Schneider
Conference proceedings ZB 2005

DOI: 10.1007/b135596

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

Table of contents

  1. Front Matter
  2. Michael Leuschel, Edd Turner
    Pages 6-23
  3. John Derrick, Heike Wehrheim
    Pages 24-44
  4. Steve Dunne, Stacey Conroy
    Pages 45-64
  5. Petra Malik, Mark Utting
    Pages 65-84
  6. Graeme Smith, Luke Wildman
    Pages 85-103
  7. Pontus Boström, Marina Waldén
    Pages 142-161
  8. Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial
    Pages 162-171
  9. Jemima Rossmorris, Susan Stepney
    Pages 172-186
  10. Frank Zeyda, Bill Stoddart, Steve Dunne
    Pages 187-202
  11. Richard Banach, Simon Fraser
    Pages 203-221
  12. Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
    Pages 222-241
  13. Soon-Kyeong Kim, David Carrington
    Pages 242-261
  14. Nuno Amálio, Fiona Polack, Susan Stepney
    Pages 262-278
  15. Yann Zimmermann, Diana Toma
    Pages 279-298

About these proceedings

Keywords

B method UML XML Z specification language ZML algorithms formal methods formal specification formal verification program analysis program development refinement system specification systems design systems development

Editors and affiliations

  • Helen Treharne
    • 1
  • Steve King
    • 2
  • Martin Henson
    • 3
  • Steve Schneider
    • 1
  1. 1.Department of ComputingUniversity of Surrey 
  2. 2.Department of Computer ScienceUniversity of YorkHeslington, YorkUK
  3. 3.Department of Computer ScienceUniversity of EssexUK

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-25559-8
  • Online ISBN 978-3-540-32007-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349