11. ZUM 1998: Berlin, Germany
Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (Eds.): ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science ISBN 3-540-65070-9
Industrial Issues
- Klaus Grimm: Industrial Requirements for the Efficient Development of Reliable Embedded Systems. 1-4
Concurrency
- Clemens Fischer: How to Combine Z with Process Algebra. 5-23
- Bill Stoddart: The Specification and Refinement of an Environmental Model. 24-41
- Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper: Formal Derivation of Finite State Machines for Class Testing. 42-59
Tools
- Ib Holm Sørensen: Using B to Specify, Verify and Design Hardware Circuits. 60-65
Z and HOL
- Thomas Santen: On the Semantic Relation of Z and HOL. 96-115
- Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff: HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. 116-134
Safety-Critical and Real-Time Systems
- Nancy G. Leveson: Designing a Requirements Specification Language for Reactive Systems. 135
- Jonathan Jacky: Analyzing a Real-Time Program with Z. 136-153
Semantic Theory
- R. D. Arthan: Recursive Definitions in Z. 154-171
Theory and Standards
- Ernst-Rüdiger Olderog: Combining Specification Techniques for Processes, Data and Time. 192
- Ian Toyn: Innovations in the Notation of Standard Z. 193-213
Reasoning and Consistency Issues
- Richard F. Paige: Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. 214-232
- Samuel H. Valentine: Inconsistency and Undefinedness in Z - A Practical Guide. 233-249
Refinement
- Kevin Lano, Pauline Kan, Arturo Sanchez: Compositional Specification of Controllers for Batch Process Operations. 250-264
- Susan Stepney, David Cooper, Jim Woodcock: More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. 284-307
Object Orientation
- Viktor Friesen, André Nordwig, Matthias Weber: Object-Oriented Specification of Hybrid Systems Using UMLh and ZimOO. 328-346
- Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud: Translating the OMT Dynamic Model into Object-Z. 347-366
Appendices
- Jonathan P. Bowen: Select Z Bibliography. 367-406
- Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. 407-415
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team