Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Object-Z> ?p ?o }
Showing triples 1 to 48 of
48
with 100 triples 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 objectz.html.
- Object-Z wikiPageID "30872150".
- Object-Z wikiPageLength "2339".
- Object-Z wikiPageOutDegree "16".
- Object-Z wikiPageRevisionID "668039620".
- Object-Z wikiPageWikiLink Australia.
- Object-Z wikiPageWikiLink Category:Formal_specification_languages.
- Object-Z wikiPageWikiLink Category:Specification_languages.
- Object-Z wikiPageWikiLink Category:Z_notation.
- Object-Z wikiPageWikiLink Class_(computer_programming).
- Object-Z wikiPageWikiLink Community_Z_Tools.
- Object-Z wikiPageWikiLink Formal_methods.
- Object-Z wikiPageWikiLink Inheritance_(object-oriented_programming).
- Object-Z wikiPageWikiLink Language_construct.
- Object-Z wikiPageWikiLink Object-oriented_programming.
- Object-Z wikiPageWikiLink Polymorphism_(computer_science).
- Object-Z wikiPageWikiLink Refinement_calculus.
- Object-Z wikiPageWikiLink University_of_Queensland.
- Object-Z wikiPageWikiLink Z++.
- Object-Z wikiPageWikiLink Z_notation.
- Object-Z wikiPageWikiLinkText "Object-Z".
- Object-Z wikiPageUsesTemplate Template:Authority_control.
- Object-Z wikiPageUsesTemplate Template:Compu-lang-stub.
- Object-Z wikiPageUsesTemplate Template:Reflist.
- Object-Z subject Category:Formal_specification_languages.
- Object-Z subject Category:Specification_languages.
- Object-Z subject Category:Z_notation.
- Object-Z hypernym Extension.
- Object-Z type Language.
- Object-Z type ProgrammingLanguage.
- Object-Z type Software.
- Object-Z type Language.
- Object-Z type Method.
- Object-Z type Language.
- Object-Z type Thing.
- Object-Z type Q315.
- Object-Z type Q34770.
- Object-Z type Q9143.
- 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 sameAs Q7075005.
- Object-Z sameAs Object-Z.
- Object-Z sameAs m.07wp7f.
- Object-Z sameAs Q7075005.
- Object-Z wasDerivedFrom Object-Z?oldid=668039620.
- Object-Z isPrimaryTopicOf Object-Z.