default search action
7. Z User Workshop 1992: London, UK
Jonathan P. Bowen, J. E. Nicholls:
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. Z User Workshop 1992: 1-5
Language Issues and Reuse
- Kevin Lano, Howard P. Haughton:
Reuse and Adaptation of Z Specifications. Z User Workshop 1992: 62-90
Safety-Critical Systems and Timing
- Jonathan Jacky:
Formal Specification and Development of Control System Input/Output. Z User Workshop 1992: 95-108 - John C. Knight, Darrell M. Kienzle:
Preliminary Experience Using Z to Specify a Safety-Critical System. Z User Workshop 1992: 109-118 - Andrew Coombes, John A. McDermid:
Using Diagrams to Give a Formal Specification of Timing Constraints in Z. Z User Workshop 1992: 119-130 - Alastair R. Ruddle:
Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems. Z User Workshop 1992: 131-146
Object-Oriented Systems
- Ian Maung, John Howse:
Introducing Hyper-Z - A New Approach to Object Orientation in Z. Z User Workshop 1992: 149-165 - G.-H. Bagherzadeh Rafsanjani, S. J. Colwill:
From Object-Z to C++: A Structural Mapping. Z User Workshop 1992: 166-179 - Elspeth Cusack, Clazien D. Wezeman:
Deriving Tests for Objects Specified in Z. Z User Workshop 1992: 180-195
Information Systems
- Paul A. Swatman:
Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals. Z User Workshop 1992: 205-239
Methods, Quality and Animation
Appendices
- Jonathan P. Bowen:
Comp.specification.z and Z FORUM Frequently Asked Questions. Z User Workshop 1992: 342-347
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2015-03-04 00:21 CET by the dblp team