Books

Books : reviews

Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey, eds.
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin.
Springer. 1998

(read but not reviewed)

Contents

Klaus Grimm. Industrial Requirements for the Efficient Development of Reliable Embedded Systems. 1998
Clemens Fischer. How to Combine Z with a Process Algebra. 1998
Bill Stoddart. The Specification and Refinement of an Environmental Model. 1998
Leesa Murray, David Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper. Formal Derivation of Finite State Machines for Class Testing. 1998
Ib Holm Sorensen. Using B to Specify, Verify and Design Hardware Circuits. 1998
Jonathan P. Bowen, David Chippington. Z on the Web Using Java. 1998
Paolo Ciancarini, Cecilia Mascolo, Fabio Vitali. Visualizing Z Notation in HTML Documents. 1998
Thomas Santen. On the Semantic Relation of Z and HOL. 1998
C. Luth, E. W. Karlsen, Kolyang Kolyang, S. Westmeier, B. Wolff. HOL-Z in the UniForM-Workbench - A Case Study in Tool Integration for Z. 1998
Jonathan Jacky. Analyzing a Real-Time Program with Z. 1998
Rob D. Arthan. Recursive Definitions in Z. 1998
Martin C. Henson, Steve Reeves. A Logic for the Schema Calculus. 1998
Ian Toyn. Innovations in the Notation of Standard Z. 1998
Richard F. Paige. Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. 1998
Samuel H. Valentine. Inconsistency and Undefinedness in Z - A Practical Guide. 1998
Kevin C. Lano, P. Kan, Arturo Sanchez. Compositional Specification of Controllers for Batch Process Operations. 1998
John Derrick, Eerke A. Boiten. Testing Refinements by Refining Tests. 1998
Susan Stepney, David Cooper, Jim Woodcock. More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. 1998
full paper
Brendan P. Mahony, Jin Song Dong. Network Topology and a Case Study in TCOZ. 1998
Viktor Friesen, Andre Nordwig, Matthias Weber. Object-Oriented Specification of Hybrid Systems Using UMLh and ZimOO. 1998
S. Dupuy, Y. Ledru, M. Chabre-Peccoud. Translating the OMT Dynamic Model into Object-Z. 1998