ZUM

Keyphrases

Publications

1998

Thomas Santen
On the Semantic Relation of Z and HOL. ZUM (1998)
Jonathan P. Bowen, David Chippington
Z on the Web Using Java. ZUM (1998)
Clemens Fischer
How to Combine Z with Process Algebra. ZUM (1998)
Bill Stoddart
The Specification and Refinement of an Environmental Model. ZUM (1998)
Samuel H. Valentine
Inconsistency and Undefinedness in Z - A Practical Guide. ZUM (1998)
Susan Stepney, David Cooper, Jim Woodcock
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. ZUM (1998)
Klaus Grimm
Industrial Requirements for the Efficient Development of Reliable Embedded Systems. ZUM (1998)
Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
Translating the OMT Dynamic Model into Object-Z. ZUM (1998)
Ib Holm Sørensen
Using B to Specify, Verify and Design Hardware Circuits. ZUM (1998)
Nancy G. Leveson
Designing a Requirements Specification Language for Reactive Systems. ZUM (1998)
John Derrick, Eerke A. Boiten
Testing Refinements by Refining Tests. ZUM (1998)
Ernst-Rüdiger Olderog
Combining Specification Techniques for Processes, Data and Time. ZUM (1998)
Ian Toyn
Innovations in the Notation of Standard Z. ZUM (1998)
Jonathan P. Bowen
Select Z Bibliography. ZUM (1998)
Richard F. Paige
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. ZUM (1998)
Viktor Friesen, André Nordwig, Matthias Weber
and ZimOO. ZUM (1998)
Martin C. Henson, Steve Reeves
A Logic for the Schema Calculus. ZUM (1998)
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. ZUM (1998)
Brendan P. Mahony, Jin Song Dong
Network Topology and a Case Study in TCOZ. ZUM (1998)
R. D. Arthan
Recursive Definitions in Z. ZUM (1998)
Jonathan Jacky
Analyzing a Real-Time Program with Z. ZUM (1998)
Paolo Ciancarini, Cecilia Mascolo, Fabio Vitali
Visualizing Z Notation in HTML Documents. ZUM (1998)
Jonathan P. Bowen
Comp.specification.z and Z FORUM Frequently Asked Questions. ZUM (1998)
Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper
Formal Derivation of Finite State Machines for Class Testing. ZUM (1998)
Kevin Lano, Pauline Kan, Arturo Sanchez
Compositional Specification of Controllers for Batch Process Operations. ZUM (1998)

volume 1493, 1998

ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings ZUM 1493 (1998)

1997

volume 1212, 1997

ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings ZUM 1212 (1997)

1995

Hans-Martin Hörcher
Improving Software Tests Using Z Specifications. ZUM (1995)

volume 967, 1995

ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings ZUM 967 (1995)