Searching for "The ZIP Project." – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Z Base Standard, Verson 1.0
- … been undertaken as part of the ZIP project. ZIP --- A unification initiative for Z Standards, Methods…
- Add To MetaCart
-
Prepared by members of the Z Standards Panel
- … versions of this document was supported as part of the ZIP project. ZIP --- A unification initiative for Z…
- Add To MetaCart
-
Z and EVES
- …, however, a general desire to select a standard core notation. To this end, the ZIP project is a three…
- Add To MetaCart
-
Annotated Z Bibliography
- …, Barcelona 2.6 Tools The ZIP Project tools catalogue lists some tools that support formatting, checking…
- Add To MetaCart
-
Annotated Z Bibliography Jonathan Bowen
- … and Larsen. FME’93, Odense [213] Naftalin et al. FME’94, Barcelona 2.6 Tools The ZIP Project tools catalogue…
- Add To MetaCart
-
Formal Description Techniques for Object Management
- …. The project, [ZIP], had four main themes: standardisation of Z; methods support for Z; tools for Z…
- Cited by 1 (1 self) – Add To MetaCart
-
An SGML based programming environment for Literate Programming
- … base standard. ZIP Project Technical Report ZIP/PRG/92/121, SRC Document: 132, Version 1.0, Oxford…
- Add To MetaCart
-
A Z Patterns Catalogue II - definitions and laws, v0.1
- …, as far as possible The process of standardising Z began under the ZIP project, part-funded by the United…
- Cited by 2 (1 self) – Add To MetaCart
-
Standardizing Z Semantics - Case for Support
- … funded effort was the ZIP project 1 , which was funded from 1990 to 1993. As part of that effort, a…
- Add To MetaCart
-
Case Studies in the Verification of. . .
- … Institute (BSI) [Bri93]. Z is currently undergoing standardization as part of the ZIP project [BN92…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
