Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1212)
Conference series link(s): ZUM: International Conference of Z Users
Conference proceedings info: ZUM 1997.
Buying options
This is a preview of subscription content, access via your institution.
Table of contents (21 papers)
-
Front Matter
About this book
The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.
Keywords
- Algebraische Methoden
- Formale Spezifikation
- Programmverfeinerung
- Z notation
- Z-Notation
- algebraic methods
- formal specification
- logic
- program refinement
- real-time
- real-time systems
- system development
- algorithm analysis and problem complexity
Bibliographic Information
Book Title: ZUM'97: The Z Formal Specification Notation
Book Subtitle: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
Editors: Jonathan P. Bowen, Michael G. Hinchey, David Till
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0027279
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1997
Softcover ISBN: 978-3-540-62717-3Published: 20 March 1997
eBook ISBN: 978-3-540-68490-9Published: 19 November 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 442
Topics: Software Engineering, Compilers and Interpreters, Symbolic and Algebraic Manipulation, Algorithms, Programming Techniques