Please choose your delivery country and your customer group
Gegenstand dieser Arbeit ist ein System zur Entwicklung von Prozessrechner-Software, das den Uebergang von einer informalen Aufgabenstellung auf eine formale Spezifikation und die damit verbundene Strukturierung der Programme unterstuetzen und so einen Beitrag zur Zuverlaessigkeit der Software leisten soll. Nach einigen Vorueberlegungen (2) werden die Konzepte entwickelt fuer das Begriffssystem, das den Kern bildet (3.1), fuer die Spezifikationssprache (3.2), fuer das Werkzeug zur Verarbeitung, Speicherung und Auswertung der Spezifikation (3.3) und fuer das Verfahren, nach dem das System angewendet werden kann (3.4). Die Praezisierung der Sprache und die Implementierung des Werkzeugs werden beschrieben (4). Fuer den Ueberang von der Spezifikation zum Programm wird ein Ansatz dargelegt (5). Es folgt ein groesseres Beispiel (6). Die vollstaendige Grammatik (7), Literaturverzeichnis (8) und eine Liste der Abkuerzungen (9) stehen am Schluss.