Object-Z

Object-Z is an <a href="/facts/Object-oriented/TxNMEcao">object-oriented</a> extension to the <a href="/facts/Z_notation/5mUjpTvv">Z notation</a> developed at the <a href="/facts/University_of_Queensland/Umrq4nJ7">University of Queensland</a>, <a href="/facts/Australia/qLHpbppq">Australia</a>.
Object-Z extends Z by the addition of <a href="/facts/Language_construct/4lDpHsIl">language constructs</a> resembling the <a href="/facts/Object-oriented/TxNMEcao">object-oriented</a> paradigm, most notably, <a href="/facts/Class_(computer_science)/zvzkSAtE">classes</a>. Other object-oriented notions such as <a href="/facts/Polymorphism_(computer_science)/S3cCKsVT">polymorphism</a> and <a href="/facts/Inheritance_(object-oriented_programming)/a7R1xv8n">inheritance</a> are also supported.
While not as popular as its base language Z, Object-Z has still received significant attention in the <a href="/facts/Formal_methods/tw4FCWIb">formal methods</a> community, and research on aspects of the language are ongoing, including hybrid languages using Object-Z, tool support (e.g., through the <a href="/facts/Community_Z_Tools/rY1tF8R5">Community Z Tools</a> project) and <a href="/facts/Refinement_calculus/N7PM9L7G">refinement calculi</a>.

Object-Z open-in-new

Object-Z