Object-Z is a programming language created in 1991. Object-Z 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. Read more on Wikipedia...
- the Object-Z wikipedia page
- Object-Z first appeared in 1991
- See also: z-notation, zpp
- Have a question about Object-Z not answered here? Email me and let me know how I can help.
Last updated January 15th, 2020