Rudolf Lauber (Ed.): Prozeßrechnersysteme '88, Automatisierungstechnik, Leittechnik, Informations- und Kommunikationstechnik, Stuttgart, 2.-4. März 1988, Proceedings. Springer 1988 Informatik-Fachberichte ISBN 3-540-18986-6
Hauptvorträge
Hartwig U. Steusloff: Funktionsstruktur, Kommunikationsstruktur und Kommunikationsmittel in Automatisierungs- und Leitsystemen. 2-21
Egbert Lehmann: Wissensverarbeitung und Softwareentwicklung. 21-38
Herbert Jansen: Anforderungen an Rechnersysteme für sicherheitsrelevante Anwendungen und deren Sicherheitsnachweis. 39-78
R. Konakovsky: Verfahren der vollständigen Fehlererkennung durch gezielten Einsatz von Diversität. 281-290
Informationsübermittlung zwischen Mensch und Prozessrechensystem
Z. Sun: Anwendung graphischer Darstellungen im Rahmen einer Spezifikationssprache für das Requirements Engineering. 292-301
B. Doll: Visueller Software-/Hardware-Systementwurf bei Automatisierungsprojekten. 302-311
H.-D. Ferling, M. Klittich: Standardisierung von graphischen Entwurfsobjekten für die realisierungsneutrale Beschreibung von Anwenderfunktionen in offenen Automatisierungssystemen. 312-321
H. Seiler: Rechnergestütztes Engineering-System für die Visualisierung komplexer Prozesse. 322-332
Albrecht Hampp: Anpassungsfähige Bedieneroberflächen - Möglichkeiten in der Prozeßüberwachung. 333-343
Peter Lempp, Peter Göhner: Software Reverse Engineering als Basis für eine zuverlässige Wartung und Wiederverwendung von Prozeßautomatisierungssystemen. 394-400
Rolf Blumenthal: Erfahrungen beim Einsatz des Datenbanksystems BAPAS-DB zur Verteilung der Funktionen und Daten in Mehrrechner-Systemen. 401-409
J. Richter: Ansätze zur wissensbasierten Konfigurierung. 437-445
Gerald Permantier: Darstellungsmöglichkeiten für inexaktes Ingenieurwissen. 446-455
Joachim Seckler: Verfahren zur Suche nach wiederverwendbarer Software bei Automatisierungsprojekten. 456-465
Klaus Beutler: Das Verfahren der "umschreibenden Suche" zum Auffinden wiederverwendbarer Projektergebnisse. 466-475
Ingenieurtechnische Abwicklung
A. Kroell, M. Kling: Unterstützung der Arbeiten zur Abwicklung eines Angebotsvorgangs. 478-487
B. Wagner: Berücksichtigung von Randbedingungen bei der Entwicklung von Automatisierungssystemen. 488-497
W. Ahrens: Objektorientierte Wissensrepräsentationen in der Prozeßleittechnik. 498-513
Eberhard Kurz: Formale Spezifikation und Rapid Prototyping - ein Widerspruch?. 514-523
Claus Weisang, Peter F. Elzer: Die Bedeutung eines Prozeßsimulators in der Prototypphase eines wissensbasierten S&C-Systems. 524-533
U. Bügel, Gottfried Bonn: Mehrrechner-PEARL: Normung eines Sprachvorschlags aus Einsatzerfahrungen. 534-545
H.-J. Schneider: Objektorientierte Strukturierung verteilter Software und statische Typprüfung. 546-555
A. Riegg: Konfigurationsmanagement als integraler Bestandteil von Software/Hardware-Produktionsumgebungen für Automatisierungssysteme. 556-565
Helge-Björn Kuntze, A. Jacubasch, M. Salaba: Rechnergestützter Entwurf (CAD) und Implementierung schneller und robuster Antriebsregelungen für Industrieroboter. 566-583
K.-H. Niemann, Wilfried Gerth: Leistungssteigerung von Prozeßrechnersystemen durch den Einsatz von hochsprachprogrammierten Multiprozessoren. 772-781
Werner Maier: Systemtechische Strukturen durchgängiger Leitsysteme am Beispiel hochdynamischer Prozesse. 782-791
P. Bork, E. Linzenkirchner: Dynamische Simulation des thermischen Verhaltens von Gebäden einschließlich der heizungs-, lüftungs- und klimatechnischen Einrichtung. 792-799