About: Z notation

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Formal specification language used for describing and modelling computing systems

Property	Value
dbo:description	formal specification language used for describing and modelling computing systems (en) Lenguaje de especificación formal (es)
dbo:thumbnail	wiki-commons:Special:FilePath/Agendacumple_en_Z.svg?width=300
dbo:wikiPageExternalLink	http://www.usingz.com/ https://staff.washington.edu/jon/z-book/ https://www.researchgate.net/publication/2480325 https://spivey.oriel.ox.ac.uk/corner/Z_Reference_Manual
dbo:wikiPageWikiLink	dbr:Électricité_de_France dbr:LaTeX dbr:Lambda_calculus dbc:Oxford_University_Computing_Laboratory dbr:Formal_specification dbr:Formal_methods dbr:Cambridge_University_Press dbr:Jean-Raymond_Abrial dbr:APL_(programming_language) dbr:Object_Constraint_Language dbr:Alloy_(specification_language) dbr:Fastest dbr:Object-Z dbc:Computer-related_introductions_in_1977 dbr:Naive_set_theory dbc:Z_notation dbr:Zermelo–Fraenkel_set_theory dbr:Model-based_testing dbr:Specification_language dbr:Programming_Research_Group dbr:ASCII dbr:International_Organization_for_Standardization dbr:Unicode dbr:B-Method dbr:Computer_program dbr:IBM dbr:Bertrand_Meyer dbr:Prentice_Hall dbc:Formal_specification_languages dbc:Specification_languages dbr:Z_User_Group dbr:Ernst_Zermelo dbr:Type_(model_theory) dbr:Community_Z_Tools dbr:Oxford_University dbr:University_of_Grenoble dbr:Axiomatic_set_theory dbr:Z++ dbr:Oxford_University_Computing_Laboratory dbr:First-order_predicate_logic dbr:International_Thomson_Publishing dbr:VDM-SL dbr:File:Agendacumple_en_Z.svg
dbp:wikiPageUsesTemplate	dbt:List_of_IEC_standards dbt:Authority_control dbt:Cite_book dbt:Reflist dbt:IPAc-en dbt:Use_dmy_dates dbt:ISO_standards dbt:Short_description
dct:subject	dbc:Oxford_University_Computing_Laboratory dbc:Computer-related_introductions_in_1977 dbc:Z_notation dbc:Formal_specification_languages dbc:Specification_languages
gold:hypernym	dbr:Language
rdf:type	owl:Thing owl:Thing
rdfs:label	Z notation (en) تدوين زد (ar) Z-Notation (de) Lenguaje Z (es) Notazione Z (it) Notation Z (fr) Z言語 (ja) Z-нотация (ru) Z notation (pt) Z-нотація (uk)
owl:sameAs	freebase:Z notation http://d-nb.info/gnd/4225739-6 yago-res:Z notation wikidata:Z notation dbpedia-it:Z notation dbpedia-de:Z notation dbpedia-fr:Z notation dbpedia-tr:Z notation dbpedia-ja:Z notation dbpedia-pt:Z notation dbpedia-es:Z notation dbpedia-fa:Z notation dbpedia-ru:Z notation dbpedia-ar:Z notation dbpedia-lt:Z notation dbpedia-ms:Z notation dbpedia-sl:Z notation dbpedia-uk:Z notation dbpedia-yo:Z notation dbpedia-global:Z notation dbr:Z notation
prov:wasDerivedFrom	wikipedia-en:Z_notation?oldid=1293563537&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Agendacumple_en_Z.svg
foaf:isPrimaryTopicOf	wikipedia-en:Z_notation
is dbo:influencedBy of	dbr:Eiffel_(programming_language)
is dbo:knownFor of	dbr:Jean-Raymond_Abrial dbr:Jonathan_Bowen dbr:Kevin_Lano dbr:Jim_Woodcock
is dbo:namedAfter of	dbr:Z_User_Group
is dbo:wikiPageDisambiguates of	dbr:Z_(disambiguation)
is dbo:wikiPageRedirects of	dbr:CADiZ dbr:ISO/IEC_13568 dbr:⋿ dbr:⦁ dbr:⦂ dbr:⦇ dbr:⦈ dbr:⦉ dbr:⦊ dbr:⨟ dbr:⨠ dbr:⨡ dbr:Z_(programming_language) dbr:Z_notation_(specification_language) dbr:Z_schema dbr:Z_specification_language dbr:Zed_notation
is dbo:wikiPageWikiLink of	dbr:Index_of_computing_articles dbr:XCB dbr:CICS dbr:Function_composition dbr:Eiffel_(programming_language) dbr:Formal_specification dbr:Formal_methods dbr:Interpunct dbr:Composition_of_relations dbr:Tie_(typography) dbr:Jean-Raymond_Abrial dbr:Steve_Reeves_(computer_scientist) dbr:Cadiz_(disambiguation) dbr:Tony_Hoare dbr:Alloy_(specification_language) dbr:Fastest dbr:Object-Z dbr:Delta dbr:History_of_mathematical_notation dbr:Model-based_testing dbr:Specification_language dbr:Message_Authenticator_Algorithm dbr:Carroll_Morgan_(computer_scientist) dbr:Index_of_software_engineering_articles dbr:Programming_Research_Group dbr:Bracket dbr:B-Method dbr:Mondex dbr:Library_of_Congress_Classification:Class_Q_--_Science dbr:Xi_(letter) dbr:Bertrand_Meyer dbr:Jonathan_Bowen dbr:National_Physical_Laboratory_(United_Kingdom) dbr:Pseudocode dbr:Geometric_Shapes_(Unicode_block) dbr:Test_Template_Framework dbr:Zed dbr:Business_rule dbr:Miscellaneous_Mathematical_Symbols-B dbr:J._Anthony_Hall dbr:Kevin_Lano dbr:Z_User_Group dbr:Z_(disambiguation) dbr:ITSEC dbr:Community_Z_Tools dbr:Jim_Davies_(computer_scientist) dbr:Jim_Woodcock dbr:List_of_programming_language_researchers dbr:Prentice_Hall_International_Series_in_Computer_Science dbr:Michael_Hinchey dbr:SPARK_(programming_language) dbr:Syntropy_(software) dbr:List_of_computer_scientists dbr:Larch_family dbr:Refinement_calculus dbr:Martin_Henson dbr:Notation dbr:Altran_Praxis dbr:Model-based_specification dbr:List_of_programming_languages dbr:Abrial dbr:CADiZ dbr:Michael_Spivey dbr:HOL_(proof_assistant) dbr:Dansk_Datamatik_Center dbr:Z++ dbr:TLA+ dbr:List_of_important_publications_in_theoretical_computer_science dbr:Maplet dbr:List_of_International_Organization_for_Standardization_standards,_12000-13999 dbr:ISO/IEC_13568 dbr:⋿ dbr:⦁ dbr:⦂ dbr:⦇ dbr:⦈ dbr:⦉ dbr:⦊ dbr:⨟ dbr:⨠ dbr:⨡ dbr:Z_(programming_language) dbr:Z_notation_(specification_language) dbr:Z_schema dbr:Z_specification_language dbr:Zed_notation
is dbp:influencedBy of	dbr:Eiffel_(programming_language)
is dbp:knownFor of	dbr:Jean-Raymond_Abrial dbr:Jonathan_Bowen dbr:Kevin_Lano dbr:Jim_Woodcock
is dbp:methods of	dbr:Z_User_Group
is dbp:namedAfter of	dbr:Z_User_Group
is foaf:primaryTopic of	wikipedia-en:Z_notation