About: Z User Group

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Z User Group Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatFormalMethodsOrganizations, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FZ_User_Group

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.

Attributes	Values
rdf:type	Thing schema:Organization dul:Agent dul:SocialPerson agent wikidata:Q24229398 Organization 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 organisation yago:SocialGroup107950920 yago:WikicatFormalMethods yago:WikicatFormalMethodsOrganizations
rdfs:label	Z User Group (en)
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)
foaf:name	Z User Group (en)
foaf:homepage	http://www.zuser.org/
name	Z User Group (en)
dcterms:subject	Z notation Organizations established in 1992 Formal methods organizations 1992 establishments in the United Kingdom User groups Computer clubs in the United Kingdom
Wikipage page ID	2578793 (xsd:integer)
Wikipage revision ID	1102147974 (xsd:integer)
Link from a Wikipage to another Wikipage	Alloy (specification language) Z notation Jonathan Bowen United Kingdom Community of Practice England (band) London Steve Reeves (computer scientist) Computer science Software engineering Organizations established in 1992 Formal methods organizations Abstract State Machines Oxford Formal Methods Europe Formal methods Formal specification 1992 establishments in the United Kingdom User groups Computer clubs in the United Kingdom Z notation Association de Pilotage des Conférences B B-Method Mike Hinchey User group
Link from a Wikipage to an external page	http://www.zuser.org/
sameAs	Z User Group Z User Group Z User Group Z User Group
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
main organ	Conference proceedings (en)
abbreviation	ZUG (en)
affiliations	Formal Methods Europe
fields	Computer science Software engineering Formal methods
formation	1992-12-14 (xsd:date)
founder	John Nicholls (en)
founding location	London, England (en)
key people	John Nicholls; Jonathan Bowen; Mike Hinchey; Steve King (en)
language	English (en)
leader name	Steve Reeves (computer scientist) Randolph Johnson (en)
leader title	Secretary (en) Chair (en)
location city	Oxford
location country	United Kingdom
methods	Z notation
named after	Z notation
purpose	Support for Z notation activities, especially meetings (en)
region served	International (en)
services	Conference organization (en)
type	User group
website	http://www.zuser.org/

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 49 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software