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]]