default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th Z User Workshop 1992: London, UK
- Jonathan P. Bowen
, John E. Nicholls:
Z User Workshop, London, UK, 14-15 December 1992, Proceedings. Workshops in Computing, Springer 1993, 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
- Samuel H. Valentine:
Putting Numbers into the Mathematical Toolkit. 9-36 - Ian J. Hayes, Luke Wildman:
Towards Libraries for Z. 37-51 - John E. Nicholls:
Plain Guide to the Z Base Standard. 52-61 - Kevin Lano, Howard P. Haughton:
Reuse and Adaptation of Z Specifications. 62-90
Safety-Critical Systems and Timing
- 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 Charles 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
Object-Oriented Systems
- 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
Information Systems
- 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
Methods, Quality and Animation
- Rosalind Barden, Susan Stepney:
Support for Using Z. 255-280 - Glyn Normington:
Cleanroom and Z. 281-293 - Matthew Love:
Animating Z Specifications in SQL*Forms 3.0. 294-306
Appendices
- Jonathan P. Bowen:
Select Z Bibliography. Z User Workshop 1992: 309-341 - Jonathan P. Bowen:
Comp.specification.z and Z FORUM Frequently Asked Questions. Z User Workshop 1992: 342-347
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-25 22:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
