Вы здесь

Главная

z

Связанные издания:

Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems
Structuring Z Specifications: Some Choices
Systems Development Using Z Generics
Testing as Abstraction
The Semantics of Circus
The Specification and Refinement of an Environment Model
The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems
The Z/EVES System
The Z-into-Haskell Tool-kit: An Illustrative Case Study
Timed Communicating Object Z
Timed GSP and Object-Z
Typechecking Z
Type-Constrained Generics for Z
Types and Sets in Godel and Z
Using Coupled Simulation in Non-atomic Refinement
Using Use Cases in Executable Z
Using Z to Rigorously Review a Specification of a Network Management System
Validation of UML Models Thanks to Z and Lustre
Viewpoint-Based Testing of Concurrent Components
Viewpoints and Objects
Visualizing Z Notation in HTML Documents
Weak Refinement in Z
When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets
Where Do Operations Come From? A Multiparadigm Specification Technique
Z Approach to Semantic Web
ZB 2000: Formal Specification and Development in Z and B: Proc./First Intern. Conf. of B and Z Users, York, UK, August-September 2000
ZB 2002 - Formal Specification and Development in Z and B: Proc./2nd Intern. Conf. of B and Z Users, Grenoble, France, January 2002
ZB 2003 - Formal Specification and Development in Z and B: Proc./Third Intern. Conf. of B and Z Users, Turku, Finland, June 2003
Z Browser - Tool for Visualisation of Z Specifications
ZML: XML Support for Standard Z
Z on the Web Using Java
ZUM 95: The Z Formal Specification Notation: Proc./9th International Conference of Z Users. Limerick, Ireland, September 1995
ZUM 97: The Z Formal Specification Nonation: Proc./10th Intern. Conf. of Z Users. Reading, UK, April 1997
ZUM 98: The Z Formal Specification Notation: Proc./11th Intern. Conf. of Z Users. Berlin, Germany, September 1998