Please use this identifier to cite or link to this item: doi:10.22028/D291-39843
Title: On implementations of loose abstract data type specifications and their vertical composition
Author(s): Beierle, Christoph
Voß, Angelika
Language: English
Year of Publication: 1986
Place of publication: Kaiserslautern
DDC notations: 004 Computer science, internet
Publikation type: Report
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 to this record: urn:nbn:de:bsz:291--ds-398433
Series name: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Series volume: 86,14
Date of registration: 15-Jun-2023
Notes: 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.
Faculty: SE - Sonstige Einrichtungen
Department: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professorship: SE - Sonstige
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.