Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Abstrakter Datentyp"'
Autor:
Dunets, Andriy
te Datentypen eignen sich sehr gut für die High-Level Spezifikation von Software. Die algebraischen Spezifikationen von abstrakten Datentypen bringen durch die Strukturierung gute Überschaubarkeit des Entwurfs und erlauben die Ausdrucksstärke der
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::9766339712bf8f12f03b86a6a2f6ee63
https://opus.bibliothek.uni-augsburg.de/opus4/files/1377/Dissertation_Dunets.pdf
https://opus.bibliothek.uni-augsburg.de/opus4/files/1377/Dissertation_Dunets.pdf
Autor:
Baumeister, Hubert
In this thesis we define a framework for the specification of dynamic behavior of software systems. This framework is motivated by the state as algebra approach and the model-oriented language Z. From the state as algebra approach we use the idea of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8078dd9a7b0301768ae048e64971ffa3
Autor:
Baumeister, Hubert.
University, Diss., 1999--Saarbrücken.
Erscheinungsjahr an der Haupttitelstelle: 1998.
Erscheinungsjahr an der Haupttitelstelle: 1998.