Object-Z

{{Use Australian English|date=June 2020}}

{{Use dmy dates|date=June 2020}}

Object-Z{{cite book|last1=Smith|first1=Graeme|title=The Object-Z Specification Language|date=2000|publisher=Springer|isbn=978-1-4615-5265-9|url=https://www.springer.com/computer/ai/book/978-0-7923-8684-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,{{cite journal| last1=Mahony| first1=B.| last2=Dong| first2=Jin Song|title=Timed Communicating Object Z|journal=IEEE Transactions on Software Engineering | date=February 2000| volume=26| issue=2| pages=150–177| doi=10.1109/32.841115| citeseerx=10.1.1.62.820}}{{cite book| last1=Dong| first1=J.S.| last2=Duke|first2=R.| last3=Hao| first3=P.| title=10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05)| chapter=Integrating Object-Z with Timed Automata|journal=Engineering of Complex Computer Systems| date=2005| pages=488–497| doi=10.1109/ICECCS.2005.56| isbn=978-0-7695-2284-5| citeseerx=10.1.1.62.793| s2cid=10062286}} tool support (e.g., through the Community Z Tools project) and refinement calculi.{{cite book| last1=Derrick| first1=John| last2=Boiten| first2=Eerke A.| title=Refinement in Z and Object-Z| date=2014| publisher=Springer| isbn=978-1-4471-5355-9| edition=2nd| url=https://www.springer.com/computer/theoretical+computer+science/book/978-1-4471-5354-2}}