![]() Im Jahr 2002 wurde Z durch die ISO standardisiert. Z wurde von Ende der 1970er Jahre geschaffen und durch die im weiterentwickelt. ![]() Ein Schema besteht dabei aus einer Anzahl typisierter Variablen und Bedingungen, welche an die Belegungen der Variablen gestellt werden. Spezifikationen für komplexe Software-Systeme in Z werden durch die hierarchische Komposition von Schemata erreicht. Z basiert auf der Zermelo-Fraenkel-Mengenlehre und der Prädikatenlogik erster Stufe. ![]() Z ist der Name einer Notation zur formalen Spezifikation von Software-Systemen und -Modulen. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |