Z User Workshop, London 1992 Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992
The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standard...
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
London
Springer London
1993, 1993
|
Edition: | 1st ed. 1993 |
Series: | Workshops in Computing
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- An International Survey of Industrial Applications of Formal Methods
- Language Issues and Reuse
- Putting Numbers into the Mathematical Toolkit
- Towards Libraries for Z
- Plain Guide to the Z Base Standard
- Reuse and Adaptation of Z Specifications
- Safety-Critical Systems and Timing
- Requirements for Defence Standard 00-55
- Formal Specification and Development of Control System Input/Output
- Preliminary Experience Using Z to Specify a Safety-Critical System
- Using Diagrams to Give a Formal Specification of Timing Constraints in Z
- Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems
- Object-Oriented Systems
- Introducing Hyper-Z — A New Approach to Object Orientation in Z
- From Object-Z to C++: A Structural Mapping
- Deriving Tests for Objects Specified in Z
- Using Z in Communications Engineering
- Information Systems
- Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals
- Practical Experiences of Z and SSADM
- Methods, Quality and Animation
- Support for Using Z
- Cleanroom and Z
- Animating Z Specifications in SQL*Forms3.0
- Appendices
- Select Z Bibliography
- Comp specification z and Z FORUM Frequently Asked Questions
- Author Index