| Property |
Value |
| dbo:abstract
|
- Z ist der Name einer Notation zur formalen Spezifikation von Software-Systemen und -Modulen. Z basiert auf der Zermelo-Fraenkel-Mengenlehre und der Prädikatenlogik erster Stufe. Spezifikationen für komplexe Software-Systeme in Z werden durch die hierarchische Komposition von Schemata erreicht. Ein Schema besteht dabei aus einer Anzahl typisierter Variablen und Bedingungen, welche an die Belegungen der Variablen gestellt werden. Z wurde von Jean-Raymond Abrial Ende der 1970er Jahre geschaffen und durch die Programming Research Group im Oxford University Computing Laboratory weiterentwickelt. Im Jahr 2002 wurde Z durch die ISO (ISO 13568) standardisiert. (de)
- Z ist der Name einer Notation zur formalen Spezifikation von Software-Systemen und -Modulen. Z basiert auf der Zermelo-Fraenkel-Mengenlehre und der Prädikatenlogik erster Stufe. Spezifikationen für komplexe Software-Systeme in Z werden durch die hierarchische Komposition von Schemata erreicht. Ein Schema besteht dabei aus einer Anzahl typisierter Variablen und Bedingungen, welche an die Belegungen der Variablen gestellt werden. Z wurde von Jean-Raymond Abrial Ende der 1970er Jahre geschaffen und durch die Programming Research Group im Oxford University Computing Laboratory weiterentwickelt. Im Jahr 2002 wurde Z durch die ISO (ISO 13568) standardisiert. (de)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| dct:subject
| |
| rdfs:comment
|
- Z ist der Name einer Notation zur formalen Spezifikation von Software-Systemen und -Modulen. Z basiert auf der Zermelo-Fraenkel-Mengenlehre und der Prädikatenlogik erster Stufe. Spezifikationen für komplexe Software-Systeme in Z werden durch die hierarchische Komposition von Schemata erreicht. Ein Schema besteht dabei aus einer Anzahl typisierter Variablen und Bedingungen, welche an die Belegungen der Variablen gestellt werden. (de)
- Z ist der Name einer Notation zur formalen Spezifikation von Software-Systemen und -Modulen. Z basiert auf der Zermelo-Fraenkel-Mengenlehre und der Prädikatenlogik erster Stufe. Spezifikationen für komplexe Software-Systeme in Z werden durch die hierarchische Komposition von Schemata erreicht. Ein Schema besteht dabei aus einer Anzahl typisierter Variablen und Bedingungen, welche an die Belegungen der Variablen gestellt werden. (de)
|
| rdfs:label
|
- Z-Notation (de)
- Z-Notation (de)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is foaf:primaryTopic
of | |
