Object-Z
id:
object-z-284-11892129
title:
Object-Z
text:
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. 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 ongoin
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Object-Z
date created:
date modified:
2023-07-24T18:03:18Z
main entity:
{"identifier":"Q7075005","url":"https://www.wikidata.org/entity/Q7075005"}
image:
fields total:
13
integrity:
13