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

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

  • DOI https://doi.org/10.1007/b135596
  • 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
  • About this book