Inhalt
Hauptvorträge.- Expert Systems looking back and looking ahead.- Relational Database Systems: Where we stand today.- Capabilities and Protection.- Effizienz paralleler Rechner.- Die Rezeption des Buches Die Macht der Computer und die Ohnmacht der Vernunft.- Fachgespräche (KV= Kurzvortrag).- Software-Entwicklung, Software-Pflege.- Application of Meta-Compilation Methods in the Ada Test Translator Development.- Abstraction and Refinement Principles Applied to the Conception of Functionally Distributed Systems.- DARTS Ein Software-Entwurfswerkzeug für Echt-zeitprogramme.- The Use of Nested Scheme Parameters in the System CIP (KV).- Das Projektmodell Eine Grundlage für die ingenieursmäßige Software-Entwicklung.- Praxisbezogene Systementwicklung aus ganzheitlicher Sicht.- Die Einführung der SSD-Entwicklungsmethode bei GOLEM.- Eine Methode zum Entwurf betrieblicher Informationssysteme.- Datenbanken/Data Base Systems.- Konstrukte zur Darstellung und Prüfung semantischer Regeln.- Dynamic Consistency Constraints in the Conceptual Schema and their Connections with the External Schema.- Dynamics in Information System Design and Management.- Konstruktive Abstrakte Datentypen.- Modularer Datenbank-Entwurf für Kleinrechner.- Abhängigkeiten von Systemkomponenten in Datenbanksystemen.- An Interface to Interrogate Heterogeneous Distributed Databases (KV).- Rekonstruktion eines global-konsistenten Zustandes in verteilten Datenbank-Systemen (KV).- Implementation of a relational Data Base System on top of a commercial DBMS (KV).- Schutzmechanismen in Rechensystemen/Protection Mechanisms in Computing Systems.- Schutz imOSKAR-Betriebssystem.- Synchronization and Protection Features for Data Abstraction.- Probleme beim Entwurf sicherer Datenbanksysteme.- Subjektorientierte Zugriffsautorisierung (KV).- Schutzmechanismen in einem Betriebssystem für eine Multimikrocomputer-Konfiguration (KV).- Neuere Tendenzen in der Theoretischen Informatik und Ihre Auswirkungen Auf die Praxis/New Tendencies in Theoretical Computer Science and their Impact on Practical Problems.- Polynomials Specification, Analysis and Development of an Abstract Data Type.- A LR-Like Analyzer Algorithm for Graphs.- Platz- und zeiteffiziente Realisierung des Laufzeitkellers bei blockstrukturierten Programmiersprachen.- Ein Sortierverfahren für Registermaschinen (KV).- Sortieren in Magnetblasenspeichern (KV).- Das P = NP-Problem in der Kategorie der partiellen Ordnungen mit zweistelligen Suprema.- Untere Zeitschranken für das Rucksackproblem.- Multidimensional B-tree: An efficient dynamic file structure for exact match queries.- Towards Single Probe Retrieval.- Konstliche Intelligenz/Artificial Intelligence.- Das Karlsruher Beweissystem.- Ein Entwurf zur maschinellen Unterstützung von Korrektheitsbeweisen bei Simulationen.- On the Treatment of Equivalence Connectives in Automated Theorem Proving (KV).- Knowledge-Based Theorem Proving (KV).- EDINBURGH LCF supporting FP systems (KV).- An Expert System for Automatic Coding of Abstract Data Type Specifications.- Inducing Non-trivial Programs from Examples.- A Method for Describing Concurrent Problems Based on Logic(KV).- Das Saarbrücker Übersetzungssystem SUSY (KV).- The Natural Language System HAM-RPM as a Hotel Manager: SomeRepresentational Prerequisites.- A Natural Language Processing Model (KV).- >Betriebliche Anwendungen der Datenverarbeitung/Business Applications of Electronic Data Processing.- Computergestützte Informationssysteme in der Materialwirtschaft(übersichtsvortrag).- Online-Systeme im Finanz- und Rechnungswesen (Übersichtsvortrag).- Rechnergestützte Informations- und Dispositionssysteme für den Personalbereich(übersichtsvortrag).- Verteilte Datenverarbeitung und Bildschirmtext.- 5 Jahre BRIDGE Erfahrungen mit dem Vertriebsinformationssystem der IBM Deutschland GmbH.- Kurzvortragssitzungen.- Entwicklung und Benutzung interaktiver Anwendungssysteme mit Hilfe von Methoden- und DatenbankSystemen.- Stand der Entwicklung von Bildschirmtext.- Programmierhilfen für die Eingabe, Verwaltung und Ausgabe von Daten in CAD Programmen.- Der Thesaurus als Datenbank (Projekt JUDO).- Ein Verfahren zur Aufnahme medizinischer Diagnosen in eine Datenbank.- Einsatz von Hilfsmitteln der Netzplantechnik zur Planung und Steuerung des zeitlichen Ablaufes von Software-Projekten.- Systematischer Entwurf von Makroprozessoren.- Plädoyer für den Datentyp TREE.- Flächenbezogene Datenstrukturen.- Interpretation sprachorientierter Instruktionscodes in einem Timesharingsystem.- ?-Kalkül Schemata als Kontrollstrukturen für LISP-Programme.- The Control of Parallel Computations by Labeled Petri Nets: A Study in Terms of Multiple-Firing Automata and Parallel Program Schemata.- Automatisierte Prallelisierung von Programmen.- Semantik-Definition der Prozeß-Programmiersprache PEARL.- Umwandlung von EPOS-Spezifikationen in Petri-Netze.- Entwurfstechnologie auf derGrundlage von Petri-Netzen.- Modellieren und Simulieren mit dem Blockorientierten Interaktiven Simulationssystem BORIS.- Bedienungssysteme mit Unterbrechnungen.- Entwurf und Implementierung einer Systemumgebung für zeitdiskrete Simulation in PASCAL: PASIM.- A Segment-Flow Model of Distributed Computing.- Statische Analyse des Echtzeitverhaltens von Softwaresystemen im DARTS-Entwurfssystem.- Lokalitätsverhalten bei der Pufferung von Magnetplatten-Zugriffen.- Rechnersimulation und Leistungsmessung im Rahmen der Kapazitätsplanung von Rechenzentren.- Ein Compiler für die Register Transfer-Sprache KARL-2.- Some Problems in Parallel Image Processor Design.- Netze mit Zeitvarianten Komponentenverzögerungen.- Induktive Inferenz und mehrwertige Logik.- Deadlock Prediction Using Petri Nets.