GI — 10. Jahrestagung : Saarbrücken, 30. September – 2. Oktober 1980

Front Matter....Pages I-XV Expert Systems: Looking Back and Looking Ahead....Pages 1-14 Relational Database Systems: Where We Stand Today....Pages 15-44 Capabilities and Protection....Pages 45-53 Effizienz Paralleler Rechner....Pages 54-64 Die Rezeption des Buches “Die Macht der Computer und die Ohnmacht der Vernunft”....Pages 65-65 Application of Meta-Compilation Methods in the Ada Test Translator Development....Pages 66-77 Abstraction and Refinement Principles Applied to the Conception of Functionally Distributed Systems....Pages 78-91 DARTS Ein Softwareentwurfswerkzeug für Echtzeitprogramme....Pages 92-105 The Use of Nested Scheme Parameters in the System CIP....Pages 106-106 Das Projektmodell — Eine Grundlage für die Ingenieurmäßige Software-Entwicklung....Pages 107-122 Praxisbezogene Systementwicklung aus Ganzheitlicher Sicht....Pages 123-138 Die Einführung der Strukturierten-Software-Dekompositions-Methode bei GOLEM....Pages 139-149 Eine Methode zum Entwurf betrieblicher Informationssysteme....Pages 150-165 Konstrukte zur Darstellung und Prüfung semantischer Regeln....Pages 166-180 Dynamic Consistency Constraints in the Conceptual Schema and their Connections with the External Schema....Pages 181-195 Dynamics in Information System Design and Management....Pages 196-212 Konstruktive Abstrakte Datentypen....Pages 213-224 Modularer Datenbank Entwurf für Kleinrechner....Pages 225-242 Abhängigkeiten von Systemkomponenten in Datenbanksystemen....Pages 243-257 An Interface to Interrogate Heterogeneous Distributed Databases....Pages 258-258 Rekonstruktion eines global-konsistenten Zustandes in verteilten Datenbank-Systemen....Pages 259-259 Implementation of a Relational Data Base System on Top of a Commercial DBMS....Pages 260-260 Schutz im OSKAR-Betriebssystem....Pages 261-276 Synchronization and Protection Features for Data Abstraction....Pages 277-291 Probleme beim Entwurf sicherer Datenbanksysteme....Pages 292-303 Subjektorientierte Zugriffsautorisierung....Pages 304-304 Schutzmechanismen in Einem Betriebssystem für Eine Multimikrocomputerkonfiguration....Pages 305-305 Polynomials — The Specification, Analysis and Development of an Abstract Data Type....Pages 306-320 A LR-Like Analyzer Algorithm for Graphs....Pages 321-335 Platz- und Zeiteffiziente Realisierung des Laufzeitkellers dei Blockstrukturierten Programmiersprachen....Pages 336-348 Ein Sortierverfahren für Registermaschinen....Pages 349-349 Sortieren in Magnetblasenspeichern....Pages 350-350 Das P = NP-Problem in der Kategorie der partiellen Ordnungen mit 2-stelligen Suprema....Pages 351-364 Untere Zeitschranken für das Rucksack-Problem....Pages 365-374 Multidimensional B-tree: An efficient dynamic file structure for exact match queries....Pages 375-388 Towards Single Probe Retrieval....Pages 389-399 Das Karlsruher Beweissystem....Pages 400-412 Ein Entwurf zur Maschinellen Unterstützung von Korrektheitsbeweisen bei Simulationen....Pages 413-427 On the Treatment of Equivalence Connectives in Automated Theorem Proving....Pages 428-428 Knowledge-Based Theorem Proving....Pages 429-429 EDINBURGH LCF supporting FP systems....Pages 430-430 An Expert System for Automatic Coding of Abstract Data Type Specifications....Pages 431-441 Inducing Non-Trivial Programs from Examples....Pages 442-456 A Method for Describing Concurrent Problems Based on Logic....Pages 457-457 Das Saarbrücker Übersetzungssystem SUSY....Pages 458-458 The Natural Language System HAM-RPM as a Hotel Manager: Some Representational Prerequisites....Pages 459-473 A Natural Language Processing Model....Pages 474-474 Computergestützte Informationssysteme in der Materialwirtschaft....Pages 475-475 Online-Systeme Im Finanz- Und Rechnungswesen....Pages 476-502 Rechnergestützte Informations- und Dispositionssysteme Für den Personalbereich....Pages 503-503 Verteilte Datenverarbeitung und Bildschirmtext....Pages 504-513 5 Jahre Bridge — Erfahrungen mit dem Vertriebsinformationssystem der IBM Deutschland GmbH....Pages 514-534 Entwicklung und Benutzung Interaktiver Anwendungssysteme mit Hilfe von Methoden- und Datenbanksystemen....Pages 536-536 Stand der Entwicklung von Bildschirmtext....Pages 537-537 Der Thesaurus als Datenbank....Pages 538-538 Ein Verfahren zur Aufnahme Medizinischer Diagnosen in Eine Datenbank....Pages 539-539 Einsatz von Hilfsmitteln der Netzplantechnik zur Planung und Steuerung des zeitlichen Ablaufes von Software-Projekten....Pages 540-540 Systematischer Entwurf von Makroprozessoren....Pages 541-541 Plädoyer für den Datentyp Tree....Pages 542-542 Kurzvortrag: Flaechenbezogene Datenstrukturen....Pages 543-543 Interpretation sprachorientierter Instruktionscodes in einem Timesharingsystem....Pages 544-544 λ-Kalkül Schemata als Kontrollstrukturen für LISP-Programme....Pages 545-545 The Control of Parallel Computations by Labeled Petri Nets: A Study in Terms of Multiple-Firing Automata and Parallel Program Schemata....Pages 546-546 Automatisierte Parallelisierung von Programmen....Pages 547-547 Semantik-Definition der Prozeß-Programmiersprache PEARL....Pages 548-548 Umwandlung von EPOS-Spezifikationen in Petri-Netze....Pages 549-549 Entwurfstechnologie auf der Grundlage von Petri-Netzen....Pages 550-550 Modellieren und Simulieren mit dem Blockorientierten Interaktiven Simulationssystem BORIS....Pages 551-551 Bedienungssysteme mit Unterbrechungen....Pages 552-552 Entwurf und Implementierung Einer Systemumgebung für Zeitdiskrete Simulation in Pascal: PASIM....Pages 553-554 A Segment-Flow Model of Distributed Computing....Pages 555-555 Statische Analyse des Echtzeitverhaltens von Softwaresystemen im DARTS-Entwurfssytem....Pages 556-556 Lokalitätsverhalten bei der Pufferung von Magnetplatten-Zugriffen....Pages 557-557 Rechnersimulation und Leistungsmessung im Rahmen der Kapazitätsplanung von Rechenzentren....Pages 558-558 Ein Compiler für die Register Transfer-Sprache KARL-2....Pages 559-559 Some Problems in Parallel Image Processor Design....Pages 560-560 Netze mit Zeitvarianten Komponentenverzögerungen....Pages 561-561 Induktive Inferenz und Mehrwertige Logik....Pages 562-562 Deadlock Prediction Using Petri Nets....Pages 563-563