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 |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-MEMO-83-01_Schrupp-Tamme_Spezifikation-und-Abstrakte-Implementierung-des-Aufbereitungsteils-von-INTAKT.pdf | 48,19 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.