Object-Z
Object-Z[1] is an object-oriented extension to the Z notation developed at the University of Queensland, Australia.
Object-Z extends Z by the addition of language constructs resembling the object-oriented paradigm, most notably, classes. Other object-oriented notions such as polymorphism and inheritance are also supported.
While not as popular as its base language Z, Object-Z has still received significant attention in the formal methods community, and research on aspects of the language are ongoing, including hybrid languages using Object-Z,[2][3] tool support (e.g., through the Community Z Tools project) and refinement calculi.[4]
See also
External links
References
<templatestyles src="Reflist/styles.css" />
Cite error: Invalid <references> tag; parameter "group" is allowed only.
<references />, or <references group="..." />Lua error in package.lua at line 80: module 'strict' not found.
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This programming-language-related article is a stub. You can help Wikipedia by expanding it. |
