Searching for "Object-Z An Object-Oriented Extension to Z." – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
Specifying the PREMO Synchronization Objects
- … of these objects. The formal notation used is Object-Z [3, 7, 8], an object-oriented extension to the Z notation…
- Cited by 5 (3 self) – Add To MetaCart
-
A Structured Specification of an Active Database System
- … active database functionality, and then shows how the model-based notation Object-Z, an object-oriented…
- Cited by 5 (2 self) – Add To MetaCart
-
Blending Object-Z and Timed CSP: An introduction to TCOZ
- ….dong@(email omitted); ABSTRACT Object-Z is an extension to the Z language designed to facilitate specification in an object-oriented…
- Cited by 40 (10 self) – Add To MetaCart
-
Type Checking Classes in Object-Z to Promote Quality of Specifications
- … and is being used by many industry companies [1]. Object-Z is an object-oriented extension of Z developed…
- Cited by 1 (0 self) – Add To MetaCart
-
A Semantic Foundation for Object Identity in Formal Specification
- …. Firstly, Object-Z is an object-oriented extension to Z, and the meaning of Z has been expressed using…
- Cited by 14 (7 self) – Add To MetaCart
-
Class Types as Sets of Classes in Object-Oriented Formal Specification Languages
- …. Object-Z is an object-oriented extension of Z developed in order to overcome some of the limitations of Z…
- Cited by 1 (0 self) – Add To MetaCart
-
Annotated Z Bibliography Jonathan Bowen
- … and verification using Z [98] Duke et al. Object-oriented protocol specification (mobile phone system, in Object-Z…
- Add To MetaCart
-
Annotated Z Bibliography
- … Object-Z is the best-documented and probably most widely used object-oriented extension to Z…
- Add To MetaCart
-
Metamorphosis: An Integrated Object Oriented Requirements Analysis and Specification Method
- … oriented formal specification language (Object-Z - an object oriented extension of Z) whose purpose…
- Add To MetaCart
-
A Formal Mapping between UML Models and ObjectZ Specifications
- … in generalizations should be classes in the diagram. 3. Object-Z Object-Z is an object-oriented extension to Z [13…
- Cited by 14 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
