About: Community Z Tools

An Entity of Type: Band, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

The Community Z Tools (CZT) initiative is based around 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 . The tools are built using the Java programming language. CZT was proposed by Andrew Martin of Oxford University in 2001.

Property	Value
dbo:abstract	The Community Z Tools (CZT) initiative is based around 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 . The tools are built using the Java programming language. CZT was proposed by Andrew Martin of Oxford University in 2001. (en)
dbo:wikiPageExternalLink	http://czt.sourceforge.net/ https://web.archive.org/web/20060227054346/http:/www.cs.waikato.ac.nz/~marku/papers/zb2005_czt.pdf https://web.archive.org/web/20061025194002/http:/linux.softpedia.com/get/Programming/Code-Generators/Community-Z-Tools-4494.shtml http://www.cs.ox.ac.uk/people/andrew.martin/CZT/
dbo:wikiPageID	2668560 (xsd:integer)
dbo:wikiPageLength	1741 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	984810064 (xsd:integer)
dbo:wikiPageWikiLink	dbc:Z_notation dbc:2001_software dbr:Andrew_Martin_(computer_scientist) dbc:Department_of_Computer_Science,_University_of_Oxford dbr:Object-Z dbr:Software_engineering dbr:Formal_methods dbc:2001_establishments_in_England dbr:Java_(programming_language) dbr:Portable_Document_Format dbc:Free_software_programmed_in_Java_(programming_language) dbc:Research_projects dbr:Z_notation dbr:SourceForge dbr:Oxford_University dbr:TCOZ
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Programming-software-stub
dcterms:subject	dbc:Z_notation dbc:2001_software dbc:Department_of_Computer_Science,_University_of_Oxford dbc:2001_establishments_in_England dbc:Free_software_programmed_in_Java_(programming_language) dbc:Research_projects
gold:hypernym	dbr:Project
rdf:type	dbo:Band
rdfs:comment	The Community Z Tools (CZT) initiative is based around 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 . The tools are built using the Java programming language. CZT was proposed by Andrew Martin of Oxford University in 2001. (en)
rdfs:label	Community Z Tools (en)
owl:sameAs	freebase:Community Z Tools yago-res:Community Z Tools wikidata:Community Z Tools https://global.dbpedia.org/id/4hwKc
prov:wasDerivedFrom	wikipedia-en:Community_Z_Tools?oldid=984810064&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Community_Z_Tools
is dbo:wikiPageDisambiguates of	dbr:CZT
is dbo:wikiPageWikiLink of	dbr:Object-Z dbr:Fastest dbr:Z_notation dbr:CZT
is foaf:primaryTopic of	wikipedia-en:Community_Z_Tools