Object-Z
2668592
221053272
2008-06-22T21:16:17Z
Andreas Kaufmann
72502
Removed category "Object-oriented programming"; Quick-adding category "Object-oriented programming languages" (using [[WP:HOTCAT|HotCat]])
'''Object-Z''' is an [[object-oriented]] extension to [[Z specification language|Z]] developed at the [[University of Queensland]], [[Australia]].
Object-Z extends Z by the addition of [[language construct]]s resembling the [[object-oriented]] paradigm, most notably, [[Class (computer science)|classes]]. Other object-oriented notions such as [[polymorphism (computer science)|polymorphism]] and [[Inheritance (object-oriented programming)|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 calculus|refinement calculi]].
== See also ==
* [[Z++]]
== External links ==
* [http://www.itee.uq.edu.au/~smith/objectz.html The Object-Z Home Page]
* [http://www.itee.uq.edu.au/~smith/book.html The Object-Z Specification Language Reference Manual]
* [http://czt.sourceforge.net/ Community Z Tools (CZT) project]
{{compu-lang-stub}}
[[Category:Z notation]]
[[Category:Object-oriented programming languages]]