Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-38507
Titel: Spezifikationen und Abstrakte Implementierung des Aufbereitungsteils von INTAKT
VerfasserIn: Schrupp, Wilfried
Tamme, Johann
Sprache: Englisch
Erscheinungsjahr: 1983
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: A worked example of a complete specification and abstract implementation of a sizable software system is given in terms of a predecessor of the software specification language ASPIK. The specified software system INTAKT has been developed by Siemens AG (München). INTAKT is an interactive system for analyzing and upgrading programs written in a variety of programming languages. This paper only provides a specification and abstract implementation for part of the analysis support in INTAKT. The remainder is specified in a companion paper by H. Grieneisen. (Int. Bericht 83/83)
Ein ausgearbeitetes Beispiel einer vollständigen Spezifikation und abstrakten Implementierung eines umfangreichen Softwaresystems wird angegeben, das in einem Vorläufer der Softwarespezifikationssprache ASPIK beschrieben ist. Das spezifizierte Softwaresystem INTAKT wurde bei der Siemens AG (München) entwickelt. INTAKT ist ein Dialogsystem zur Analyse und Aufbereitung von Programmen verschiedener Programmiersprachen. Diese Arbeit beschreibt Spezifikation und abstrakte Implementierung eines Teils der Analyseunterstützung in INTAKT. Der restliche Teil ist spezifiziert in der Arbeit von H. Grieneisen. (Int. Bericht 83/83)
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-385075
hdl:20.500.11880/35038
http://dx.doi.org/10.22028/D291-38507
Schriftenreihe: Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI
Band: 83,1
Datum des Eintrags: 30-Jan-2023
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.