7. Z User Workshop 1992: London, UK

Jonathan P. Bowen, J. E. Nicholls (Eds.): Z User Workshop, London, UK, 14-15 December 1992, Proceedings. Workshops in Computing Springer 1992, ISBN 3-540-19818-0

Dan Craigen, Susan L. Gerhart, Ted Ralston: An International Survey of Industrial Applications of Formal Methods. 1-5

Language Issues and Reuse

Andrew Bradley: Reqirements for Defence Standard 00-55. 93-94
Jonathan Jacky: Formal Specification and Development of Control System Input/Output. 95-108
John C. Knight, Darrell M. Kienzle: Preliminary Experience Using Z to Specify a Safety-Critical System. 109-118
Andrew Coombes, John A. McDermid: Using Diagrams to Give a Formal Specification of Timing Constraints in Z. 119-130
Alastair R. Ruddle: Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems. 131-146

Ian Maung, John Howse: Introducing Hyper-Z - A New Approach to Object Orientation in Z. 149-165
G.-H. Bagherzadeh Rafsanjani, S. J. Colwill: From Object-Z to C++: A Structural Mapping. 166-179
Elspeth Cusack, Clazien D. Wezeman: Deriving Tests for Objects Specified in Z. 180-195
Elspeth Cusack: Using Z in Communications Engineering. 196-202

Paul A. Swatman: Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals. 205-239
Christine Draper: Practical Experiences of Z and SSADM. 240-251

Jonathan P. Bowen: Select Z Bibliography. 309-341
Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. 342-347

Last update Tue Feb 14 04:13:30 2012 CET by the DBLP Team —

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