Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-39843
Titel: On implementations of loose abstract data type specifications and their vertical composition
VerfasserIn: Beierle, Christoph
Voß, Angelika
Sprache: Englisch
Erscheinungsjahr: 1986
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: In an approach for the implementation of loose abstract data type specifications that completely distinguishes between the syntactical level of specifications and the semantical level of models, vertical implementation composition is defined compatibly on both levels. Implementations have signatures, models, and sentences where the latter also include hidden components, which allows for useful normal form results. We illustrate the stepwise development of implementations as well as their composition by some examples and describe the incorporation of the concept into an integrated software development and verification system.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-398433
hdl:20.500.11880/35967
http://dx.doi.org/10.22028/D291-39843
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 86,14
Datum des Eintrags: 15-Jun-2023
Bemerkung/Hinweis: In der GND existiert kein Normdatensatz für die Person, die sie eindeutig als solche identifiziert. Alternative oder damit in Verbindung stehende Schreibweisen: Voss Angelika, Voss Angi, Voß Angi.
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.