author : Andreas Fett

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