dbo:abbreviation |
ZUG |
dbo:abstract |
The Z User Group (ZUG) was established in 1992 to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting in London, England. (en) |
dbo:affiliation |
dbr:Formal_Methods_Europe |
dbo:foundingDate |
1992-12-14 (xsd:date) |
dbo:keyPerson |
dbr:Jonathan_Bowen dbr:Mike_Hinchey |
dbo:leaderFunction |
dbr:Z_User_Group__PersonFunction__1 dbr:Z_User_Group__PersonFunction__2 |
dbo:namedAfter |
dbr:Z_notation |
dbo:purpose |
Support for Z notation activities, especially meetings |
dbo:type |
dbr:User_group |
dbo:wikiPageExternalLink |
http://www.zuser.org/ |
dbo:wikiPageID |
2578793 (xsd:integer) |
dbo:wikiPageLength |
10205 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID |
1102147974 (xsd:integer) |
dbo:wikiPageWikiLink |
dbr:Alloy_(specification_language) dbc:Z_notation dbr:Jonathan_Bowen dbr:United_Kingdom dbr:Community_of_Practice dbr:England dbr:London dbr:Steve_Reeves_(computer_scientist) dbr:Computer_science dbr:Software_engineering dbc:Organizations_established_in_1992 dbc:Formal_methods_organizations dbr:Abstract_State_Machines dbr:Oxford dbr:Formal_Methods_Europe dbr:Formal_methods dbr:Formal_specification dbc:1992_establishments_in_the_United_Kingdom dbc:User_groups dbc:Computer_clubs_in_the_United_Kingdom dbr:Z_notation dbr:Association_de_Pilotage_des_Conférences_B dbr:B-Method dbr:Mike_Hinchey dbr:User_group |
dbp:abbreviation |
ZUG (en) |
dbp:affiliations |
dbr:Formal_Methods_Europe |
dbp:fields |
dbr:Computer_science dbr:Software_engineering dbr:Formal_methods |
dbp:formation |
1992-12-14 (xsd:date) |
dbp:founder |
John Nicholls (en) |
dbp:foundingLocation |
London, England (en) |
dbp:keyPeople |
John Nicholls; Jonathan Bowen; Mike Hinchey; Steve King (en) |
dbp:language |
English (en) |
dbp:leaderName |
dbr:Steve_Reeves_(computer_scientist) Randolph Johnson (en) |
dbp:leaderTitle |
Secretary (en) Chair (en) |
dbp:locationCity |
dbr:Oxford |
dbp:locationCountry |
dbr:United_Kingdom |
dbp:mainOrgan |
Conference proceedings (en) |
dbp:methods |
dbr:Z_notation |
dbp:name |
Z User Group (en) |
dbp:namedAfter |
dbr:Z_notation |
dbp:purpose |
Support for Z notation activities, especially meetings (en) |
dbp:regionServed |
International (en) |
dbp:services |
Conference organization (en) |
dbp:type |
dbr:User_group |
dbp:website |
http://www.zuser.org/ |
dbp:wikiPageUsesTemplate |
dbt:Compsci-stub dbt:ISBN dbt:Infobox_organization dbt:Reflist dbt:Short_description dbt:Start_date_and_age dbt:Use_dmy_dates dbt:Org-stub |
dct:subject |
dbc:Z_notation dbc:Organizations_established_in_1992 dbc:Formal_methods_organizations dbc:1992_establishments_in_the_United_Kingdom dbc:User_groups dbc:Computer_clubs_in_the_United_Kingdom |
rdf:type |
owl:Thing schema:Organization dul:Agent dul:SocialPerson dbo:Agent wikidata:Q24229398 wikidata:Q43229 yago:WikicatOrganisationsBasedInTheUnitedKingdom yago:WikicatOrganizationsBasedInSanFrancisco,California yago:WikicatOrganizationsEstablishedIn1992 yago:Ability105616246 yago:Abstraction100002137 yago:Cognition100023271 yago:Group100031264 yago:Know-how105616786 yago:Method105660268 yago:Organization108008335 yago:PsychologicalFeature100023100 yago:YagoLegalActor yago:YagoLegalActorGeo yago:YagoPermanentlyLocatedEntity dbo:Organisation yago:SocialGroup107950920 yago:WikicatFormalMethods yago:WikicatFormalMethodsOrganizations |
rdfs:comment |
The Z User Group (ZUG) was established in 1992 to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting in London, England. (en) |
rdfs:label |
Z User Group (en) |
owl:sameAs |
freebase:Z User Group yago-res:Z User Group wikidata:Z User Group https://global.dbpedia.org/id/4xoyc |
prov:wasDerivedFrom |
wikipedia-en:Z_User_Group?oldid=1102147974&ns=0 |
foaf:homepage |
http://www.zuser.org/ |
foaf:isPrimaryTopicOf |
wikipedia-en:Z_User_Group |
foaf:name |
Z User Group (en) |
is dbo:wikiPageDisambiguates of |
dbr:Zug_(disambiguation) |
is dbo:wikiPageRedirects of |
dbr:ABZ_Conference dbr:Z_User_Meeting dbr:International_Conference_on_Abstract_State_Machines,_Alloy,_B_and_Z |
is dbo:wikiPageWikiLink of |
dbr:List_of_acronyms:_Z dbr:Jonathan_Bowen dbr:Egon_Börger dbr:Steve_Reeves_(computer_scientist) dbr:BCS-FACS dbr:Formal_methods dbr:ABZ_Conference dbr:ZB dbr:Z_User_Meeting dbr:Z_notation dbr:B-Method dbr:Zug_(disambiguation) dbr:List_of_users'_groups dbr:International_Conference_on_Abstract_State_Machines,_Alloy,_B_and_Z |
is foaf:primaryTopic of |
wikipedia-en:Z_User_Group |