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. Lecture Notes in Computer Science 1493 Springer 1998, 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
Jonathan P. Bowen, David Chippington:
Z on the Web Using Java. 66-80
Paolo Ciancarini, Cecilia Mascolo, Fabio Vitali:
Visualizing Z Notation in HTML Documents. 81-95

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
Martin C. Henson, Steve Reeves: A Logic for the Schema Calculus. 172-191

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
John Derrick, Eerke A. Boiten: Testing Refinements by Refining Tests. 265-283
Susan Stepney, David Cooper, Jim Woodcock:
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. 284-307

Object Orientation

Brendan P. Mahony, Jin Song Dong:
Network Topology and a Case Study in TCOZ. 308-327
Viktor Friesen, André Nordwig, Matthias Weber:
Object-Oriented Specification of Hybrid Systems Using UML^h 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

Last update Fri May 25 08:51:13 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page