Z-Notation

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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.