Advertisement

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
  16. Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
    Pages 355-373
  17. Eerke A. Boiten, John Derrick
    Pages 374-392
  18. Ingo Brückner, Heike Wehrheim
    Pages 414-433
  19. Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert
    Pages 434-453
  20. Abdolbaghi Rezazadeh, Michael Butler
    Pages 472-492
  21. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications