GI -- 10. Jahrestagung

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".