Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Object-Z> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- Object-Z abstract "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 ongoing, including hybrid languages using Object-Z, tool support (e.g., through the Community Z Tools project) and refinement calculi.".
- Object-Z wikiPageExternalLink czt.sourceforge.net.
- Object-Z wikiPageExternalLink book.html.
- Object-Z wikiPageExternalLink objectz.html.
- Object-Z wikiPageID "30872150".
- Object-Z wikiPageRevisionID "546102590".
- Object-Z hasPhotoCollection Object-Z.
- Object-Z subject Category:Object-oriented_programming_languages.
- Object-Z subject Category:Z_notation.
- Object-Z type ProgrammingLanguage.
- Object-Z type Software.
- Object-Z type Work.
- Object-Z type CreativeWork.
- Object-Z type InformationEntity.
- Object-Z comment "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.".
- Object-Z label "Object-Z".
- Object-Z label "Object-Z".
- Object-Z sameAs Object-Z.
- Object-Z sameAs m.07wp7f.
- Object-Z sameAs Q7075005.
- Object-Z sameAs Q7075005.
- Object-Z wasDerivedFrom Object-Z?oldid=546102590.
- Object-Z isPrimaryTopicOf Object-Z.