Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-8450
Autor(en): Ludewig, Jochen
Titel: Zur Erstellung der Spezifikation von Prozeßrechner-Software
Sonstige Titel: On the development of specifications for process control software
Erscheinungsdatum: 1981
Dokumentart: Buch
URI: http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-91785
http://elib.uni-stuttgart.de/handle/11682/8467
http://dx.doi.org/10.18419/opus-8450
Bemerkungen: Karlsruhe : Kernforschungszentrum, 1981 (Kernforschungszentrum Karlsruhe 3060). - Zugl.: München, Techn. Univ., Diss.
Zusammenfassung: Gegenstand dieser Arbeit ist ein System zur Entwicklung von Prozeßrechner- Software, das den Übergang von einer informalen Aufgabenstellung auf eine formale Spezifikation und die damit verbundene Strukturierung der Programme unterstützen und so einen Beitrag zur Zuverlässigkeit der Software leisten soll. Nach einigen Vorüberlegungen (2) werden die Konzepte entwickelt für das Begriffssystem, das den Kern bildet (3 .1), für die Spezifikationssprache (3.2), für das Werkzeug zur Verarbeitung, Speicherung und Auswertung der Spezifikation (3.3) und für das Verfahren, nach dem das System angewendet werden kann (3.4). Die Präzisierung der Sprache und die Implementierung des Werkzeugs werden beschrieben (4). Für den Übergang von der Spezifikation zum Programm wird ein Ansatz dargelegt (5). Es folgt ein größeres Beispiel (6). Die vollständige Grammatik (7), Literaturverzeichnis (8) und eine Liste der Abkürzungen (9) stehen am Schluß.
This is a report on a system far the development of process-control software. The system supports the transition from an informal description of a problem to a formal specification. That includes the structuring process, which has a strong influence on software reliability. Based on some preliminary discussion (2), a basic set of constructs is defined (3.1). The specification language (3.2) and a tool to process, store, and evaluate specifications (3 . 3) are described , and it is shown how to use the system (3.4). The language definition and the implementation of the tool are presented (4). For the transition from specification to actual code, a technique is outlined (5) . Finally, an example is gi ven (6). The complete syntax (7), the references (8) and a list of abbreviations (9) follow.
Enthalten in den Sammlungen:15 Fakultätsübergreifend / Sonstige Einrichtung

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
lud10.pdf24,44 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.