Titlebook: GI — 9. Jahrestagung; Bonn, 1.–5. Oktober K. H. B?hling,P. P. Spies Conference proceedings 1979 Springer-Verlag Berlin · Heidelberg 1979 B

lipoatrophy

Modelle zur Spezifikation von Prozesslenkungssystemenche Modelle, .. aktionsorientierte Modelle und .. datenorientierte Modelle. (.. ist aus Regel- und Steuerungstechnik gut bekannt; .. und .. werden n?her erl?utert.).Aktionsorientierte Modelle beschreiben die abstrakte “task?-Struktur; Elemente sind “conditions?, d.s. Aussagen über den Systemzustand,

optic-nerve

Erfahrungen Mit Neueren Methoden Zur Konstruktion Zuverl?ssiger Software Bei Der Realisierung Eines iger Systeme. N?her erl?utert wird der bei der Durchführung des Projektes benutzte Abstraktionsmechanismus und die zugeh?rige Beweismethodik. Schlie?lich wird noch über Erfahrungen mit dieser Vorgehensweise w?hrend Spezifikation, Implementierung und Test des Programmsystems berichtet.

Migratory

Rechnergestütztes Entwerfen und Dokumentieren Von Prozessautomatisierungssystemen Mit EPOSfs-unterstützende Techniken eingeführt. Auf der Grundlage eines Ebenenmodells für die verschiedenen Entwurfsarten (prozeduraler, operationeller und auxiliarer Entwurf) wird der Aufbau des Entwurfsunterstützenden Softwarewerkzeugs EPOS erl?utert. Die Eigenschaften von EPOS als Hilfsmittel zur Beschre

delusion

BOIE Ein Interaktives Entwurfswerkzeugammen mit einer einfachen Dialogsprache die leichte Bedienbarkeit. Durch eine flexible Definition von Strukturelementen wird das Grundsystem auf den jeweiligen Anwendungsbereich zugeschnitten. Die Entwurf sinformation kann dann halbgrafisch und textf?rmig ausgegeben werden, wobei die Textausgabe den

Celiac-Plexus