Andy S. Evans. Visualising Concurrent Z Specifications. 1994
Marcin Engel. Specifying Real-Time Systems with Z and the Duration Calculus. 1994
Daniel K. C. Chan, Philip W. Trinder. An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z. 1994
Jonathan Hammond. Producing Z Specifications from Object-Oriented Analysis. 1994
W. Hasselbring. Animation of Object-Z Specifications with a Set-Oriented Prototyping Language. 1994
Jonathan P. Bowen, Michael G. Hinchey, eds. ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick.
Springer. 1995
Jonathan P. Bowen, Michael G. Hinchey, David Till, eds. ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading.
Springer. 1997
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
Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King, eds. ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users, York.
Springer. 2000
Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson, eds. ZB 2002: Formal Specification and Development in Z and B: Second International Conference of B and Z Users, Grenoble.
Springer. 2002
Soon-Kyeong Kim, David Carrington. A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. 2002
Regine Laleau, Fiona Polack. Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. 2002
Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden, eds. ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland.
Springer. 2003
(read but not reviewed)
Contents
Daniel Jackson. Alloy: A Logical Modelling Language. 2003