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