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