Object-Z: Difference between revisions
Content deleted Content added
→External links: recat - Category:Z notation is a subcat of Category:Specification languages |
→External links: recat - Category:Z notation is a subcat of Category:Formal methods |
||
| Line 18: | Line 18: | ||
{{compu-lang-stub}} |
{{compu-lang-stub}} |
||
[[Category:Formal methods]] |
|||
[[Category:Z notation]] |
[[Category:Z notation]] |
||
[[Category:Object-oriented programming]] |
[[Category:Object-oriented programming]] |
||
Revision as of 22:08, 3 August 2006
Object-Z is an object-oriented extension to Z 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, tool support (e.g., through the Community Z Tools project) and refinement calculi.
See also
External links
- The Object-Z Home Page
- The Object-Z Specification Language Reference Manual
- Community Z Tools (CZT) project
 | This programming-language-related article is a stub. You can help Wikipedia by expanding it. |