| dbo:abbreviation
| |
| 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
| |
| dbo:foundingDate
| |
| dbo:keyPerson
| |
| dbo:leaderFunction
| |
| dbo:namedAfter
| |
| dbo:purpose
|
- Support for Z notation activities, especially meetings
|
| dbo:type
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 10205 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:abbreviation
| |
| dbp:affiliations
| |
| dbp:fields
| |
| dbp:formation
| |
| dbp:founder
| |
| dbp:foundingLocation
| |
| dbp:keyPeople
|
- John Nicholls; Jonathan Bowen; Mike Hinchey; Steve King (en)
|
| dbp:language
| |
| dbp:leaderName
| |
| dbp:leaderTitle
|
- Secretary (en)
- Chair (en)
|
| dbp:locationCity
| |
| dbp:locationCountry
| |
| dbp:mainOrgan
|
- Conference proceedings (en)
|
| dbp:methods
| |
| dbp:name
| |
| dbp:namedAfter
| |
| dbp:purpose
|
- Support for Z notation activities, especially meetings (en)
|
| dbp:regionServed
| |
| dbp:services
|
- Conference organization (en)
|
| dbp:type
| |
| dbp:website
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdf:type
| |
| 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
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
