ZB 2000: Formal Specification and Development in Z and B

First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings

Conference proceedings ZB 2000

DOI: 10.1007/3-540-44525-0

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

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Soon-Kyeong Kim, David Carrington
    Pages 2-21
  3. Graeme Smith
    Pages 42-58
  4. I. Toyn, S. H. Valentine, D. A. Duffy
    Pages 59-74
  5. Theo Dimitrakos, Juan Bicarregui, Brian Matthews, Tom Maibaum
    Pages 107-126
  6. Dominique Cansell, Dominique Méry
    Pages 148-167
  7. Mark d’Inverno, Koen Hindriks, Michael Luck
    Pages 168-187
  8. Helen Treharne, Steve Schneider
    Pages 188-208
  9. Nestor Lopez, Marianne Simonot, Veronique Viguié Donzeau-Gouge
    Pages 209-229
  10. F. Bellegarde, C. Darlot, J. Julliand, O. Kouchnarenko
    Pages 230-249
  11. Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King
    Pages 250-263
  12. Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King
    Pages 264-285
  13. Ralph Miarka, Eerke Boiten, John Derrick
    Pages 286-303
  14. R. Banach, M. Poppleton
    Pages 304-323
  15. Michael Butler, Mairead Meagher
    Pages 324-343

Other volumes

  1. ZB 2000: Formal Specification and Development in Z and B
    First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings
  2. International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings

About these proceedings

Introduction

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000.
The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.

Keywords

B Method Formal Methods Formal Verification Hardware Verification Resolution Safety-Critical Systems Simulation Software Construction Unified Modeling Language (UML) algorithms formal method formal specification object-oriented programming programming language systems Development

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67944-8
  • Online ISBN 978-3-540-44525-8
  • Series Print ISSN 0302-9743