Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Community_Z_Tools> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- Community_Z_Tools abstract "The CZT Community Z Tools (CZT) project is a SourceForge project to build a set of tools for the Z notation, a formal method useful in software engineering. Tools include support for editing, typechecking and animating Z specifications. There is some support for extensions such as Object-Z and TCOZ. The tools are built using the Java programming language.CZT was proposed by Andrew Martin in 2001. \"To establish an internet-based community project to build a framework for Z tool integration and ultimately numerous plug-in tools.\"[AM2001]".
- Community_Z_Tools wikiPageExternalLink czt.sourceforge.net.
- Community_Z_Tools wikiPageExternalLink Community-Z-Tools-4494.shtml.
- Community_Z_Tools wikiPageExternalLink CZT.
- Community_Z_Tools wikiPageExternalLink proposal.html.
- Community_Z_Tools wikiPageExternalLink zb2005_czt.pdf.
- Community_Z_Tools wikiPageID "2668560".
- Community_Z_Tools wikiPageLength "1251".
- Community_Z_Tools wikiPageOutDegree "9".
- Community_Z_Tools wikiPageRevisionID "619219935".
- Community_Z_Tools wikiPageWikiLink Category:Z_notation.
- Community_Z_Tools wikiPageWikiLink Formal_methods.
- Community_Z_Tools wikiPageWikiLink Java_(programming_language).
- Community_Z_Tools wikiPageWikiLink Object-Z.
- Community_Z_Tools wikiPageWikiLink Portable_Document_Format.
- Community_Z_Tools wikiPageWikiLink Software_engineering.
- Community_Z_Tools wikiPageWikiLink SourceForge.
- Community_Z_Tools wikiPageWikiLink TCOZ.
- Community_Z_Tools wikiPageWikiLink Z_notation.
- Community_Z_Tools wikiPageWikiLinkText "Community Z Tools (CZT)".
- Community_Z_Tools wikiPageWikiLinkText "Community Z Tools".
- Community_Z_Tools wikiPageUsesTemplate Template:Programming-software-stub.
- Community_Z_Tools subject Category:Z_notation.
- Community_Z_Tools hypernym Project.
- Community_Z_Tools type Band.
- Community_Z_Tools type Language.
- Community_Z_Tools type Language.
- Community_Z_Tools type Method.
- Community_Z_Tools comment "The CZT Community Z Tools (CZT) project is a SourceForge project to build a set of tools for the Z notation, a formal method useful in software engineering. Tools include support for editing, typechecking and animating Z specifications. There is some support for extensions such as Object-Z and TCOZ. The tools are built using the Java programming language.CZT was proposed by Andrew Martin in 2001.".
- Community_Z_Tools label "Community Z Tools".
- Community_Z_Tools sameAs Q5154910.
- Community_Z_Tools sameAs m.07wp3k.
- Community_Z_Tools sameAs Q5154910.
- Community_Z_Tools wasDerivedFrom Community_Z_Tools?oldid=619219935.
- Community_Z_Tools isPrimaryTopicOf Community_Z_Tools.