Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Community_Z_Tools> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items 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 wikiPageRevisionID "385496011".
- Community_Z_Tools hasPhotoCollection Community_Z_Tools.
- Community_Z_Tools subject Category:Z_notation.
- 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 m.07wp3k.
- Community_Z_Tools sameAs Q5154910.
- Community_Z_Tools sameAs Q5154910.
- Community_Z_Tools wasDerivedFrom Community_Z_Tools?oldid=385496011.
- Community_Z_Tools isPrimaryTopicOf Community_Z_Tools.