Table of Contents

• Expert Systems: Looking Back and Looking AheadEdward A. Feigenbaum. 1-14
• Relational Database Systems: Where We Stand TodayW. Frank King III. 15-44
• Capabilities and ProtectionRoger M. Needham. 45-53
• Effizienz Paralleler RechnerZvi Galil, Wolfgang J. Paul. 54-64
• Die Rezeption des Buches Die Macht der Computer und die Ohnmacht der Vernunft Joseph Weizenbaum. 65
• Application of Meta-Compilation Methods in the Ada Test Translator DevelopmentKnut Ripken. 66-77
• Abstraction and Refinefent Principles Applied to the Conception of Functionally Distributed SystemsAlain Tarabout, Bernard Maillot, Irène Vatton. 78-91
• DARTS: Ein Softwareentwurfswerkzeug für EchtzeitprogrammeHans Keutgen, Hans-H. Meyer. 92-105
• The Use of Nested Scheme Parameters in the System CIPRalf Steinbrüggen. 106
• Das Projektmodell - Eine Grundlage für die Ingenieurmäßige Software-EntwicklungWolfgang Hesse. 107-122
• Praxisbezogene Systementwicklung aus ganzheitlicher SichtHans-Joachim Habermann, Jürgen Kirbach. 123-138
• Ein Einführung der Strukturierten-Software-Dekompositions-Methode bei GOLEMHorst Biller. 139-149
• Eine Methode zum Entwurf betrieblicher InformationssytemeHubert Österle. 150-165
• Konstrukte zur Darstellung und Prüfung semantischer RegelnBernd Breutmann, Rosmarie Mauer. 166-180
• Dynamic Consistency Constraints in the Conceptual Schema and Their Connections with the External SchemaCarl August Zehnder, Bertram Thurnherr. 181-195
• Dynamics in Information System Design and ManagementColette Rolland, Christian Richard. 196-212
• Konstruktive Abstrakte DatentypenHartmut Wedekind. 213-224
• Modularer Datenbank Entwurf für KleinrechnerHermann Bense. 225-242
• Abhängigkeiten von Systemkomponenten in DatenbanksystemenTheo Härder, Andreas Reuter. 243-257
• An Interface to Interrogate Heterogeneous Distributed DatabasesPatrick Bosc. 258
• Rekonstruktion eines global-konsistenten Zustandes in verteilten Datenbank-SystemenPeter Dadam. 259
• Implementation of a Relational Data Base System on Top of a Commercial DBMSMichael Böhm, Martin Riemer, Karl Heinz Höhne. 260
• Schutz im OSKAR-BetriebssystemKlaus R. Dittrich, Karlheinz Hug, Peter Kammerer, Dieter Lienert, Hans Mau, Klaus Wachsmuth. 261-276
• Synchronization and Protection Features for Data AbstractionD. Herman, Michel Raynal. 277-291
• Probleme beim Entwurf sicherer DatenbanksystemeTheo von Bomhard, Hans vor der Brück, Norbert Ramsperger. 292-303
• Subjektorientierte ZugriffsautorisierungW. Ballin. 304
• Schutzmechanismen in einem Betriebssystem für eine MultimikrocomputerkonfigurationS. Keramidis, Manfred Reitenspieß. 305
• Polynomials - The Specification, Analysis and Development of an Abstract Data TypeWalter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari. 306-320
• A LR-Like Analyzer Algorithm for GraphsHelmut J. Ludwigs. 321-335
• Platz- und zeiteffiziente Realisierung des Laufzeitkellers bei blockstrukturierten ProgrammiersprachenBernd Schmidt. 336-348
• Ein Sortierverfahren für Registermaschinen (Zusammenfassung)Stefan Reisch. 349
• Sortieren in MagnetblasenspeichernMichael Breder. 350
• Das P=NP-Problem in der Kategorie der partiellen Ordnungen mit 2-stelligen SupremaHagen Huwig. 351-364
• Untere Zeitschranken für das Rucksack-ProblemPeter Klein, Friedhelm Meyer auf der Heide. 365-374
• Multidimensional B-tree: An Efficient Dynamic File Structure for Exact Match QueriesRalf Hartmut Güting, Hans-Peter Kriegel. 375-388
• Towards Single Probe RetrievalGerhard Jaeschke. 389-399
• Das Karlsruher BeweissystemNorbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther. 400-412
• Ein Entwurf zur maschinellen Unterstützung von Korrekheitsbeweisen bei SimulationenWolfram-Manfred Lippe, Franz Wagner. 413-427
• On the Treatment of Equivalence Connectives in Automated Theorem ProvingGraham Wrightson. 428
• Knowledge-Based Theorem ProvingDominique Pastre. 429
• Edingburgh LCF Supporting FP SystemsJacek Leszczylowski. 430
• An Expert System for Automatic Codeing of Abstract Data Type SpecificationsH. Eigemeier, Christoph Knabe, Peter Raulefs, K. Tramer. 431-441
• Inducing Non-Trivial Programs from ExamplesEric Papon. 442-456
• A Method for Describing Concurrent Problems Based on LogicGeorg Winterstein, Manfred Dausmann, Guido Persch. 457
• Das Saarbrücker Übersetzungssystem SUSYHeinz Dieter Maas. 458
• The Natural Language System HAM-RPM as a Hotel Manager: Some Representational PrerequisitesAnthony Jameson, Wolfgang Hoeppner, Wolfgang Wahlster. 459-473
• A Natural Language Processing ModelJ.-H. Jayez, P. Levasseur, M. Liscouet. 474
• Computergestützte Informationssysteme in der MaterialwirtschaftJoachim Griese. 475
• Online-Systeme im Finanz- und RechnungswesenPeter Stahlknecht. 476-502
• Rechnergestützte Informations- und Dispositionssysteme für den PersonalbereichDietrich Seibt, Wilhelm Mülder. 503
• Verteilte Datenverarbeitung und BildschirmtextKlaus Wenke. 504-513
• 5 Jahre BRIDGE - Erfahrungen mit dem Vertriebsinformationssystem der IBM Deutschland GmbHD. Schmidtmann. 514-534
• Entwicklung und Benutzung interaktiver Anwendungssyteme mit Hilfe von Methoden- und DatenbanksystemenG. Müller, L. Dumke. 536
• Stand der Entwicklung von BildschirmtextJürgen C. W. Schröder. 537
• Der Thesaurus als DatenbankH. Werner. 538
• Ein Verfahren zur Aufnahme medizinischer Diagnosen in eine DatenbankMichael Eulenstein. 539
• Einsatz von Hilfsmitteln der Netzplantechnik zur Planung und Steuerung des zeitlichen Ablaufes von Software-ProjektenM. A. Ertel. 540
• Systematischer Entwurf von MakroprozessorenMichael Payer. 541
• Plädoyer für den Datentyp TreeKlaus-Jürgen Engelberg. 542
• Flächenbezogene DatenstrukturenAndreas Meier. 543
• Interpretation sprachorientierter Instruktionscodes in einem TimesharingsystemHorst Kosanke. 544
• Lambda-Kalkül Schemata als Kontrollstrukturen für LISP-ProgrammeN. Bauchrowitz, F. Simon. 545
• The Control of Parallel Computations by Labeled Petri Nets: A Study in terms of Multiple-Firing Automata and Parallel Program SchemataEike Hagen Riedemann. 546
• Automatisierte Parallelisierung von ProgrammenHorst Niggemann. 547
• Semantik-Definition der Prozeß-Programmiersprache PEARLEberhard Wegner. 548
• Umwandlung von EPOS-Spezifikationen in Petri-NetzePeter Göhner. 549
• Entwurfstechnologie auf der Grundlage von Petri-NetzenWilhelm K. Hackmann, Ekkart Rudolph, Hans Seidl. 550
• Modellieren und Simulieren mit dem Blockorientierten Interaktiven Simulationssystem BORISWilhelm K. Hackmann, Peter Theobald. 551
• Bedinungssyteme mit UnterbrechungenBernd Meister. 552
• Entwurf und Implementierung einer Systemumgebung für zeitdiskrete Simulation in PASCAL: PASIMJ. Reyes, G. Roehmer. 553-554
• A Segment-Flow Model of Distributed ComputingHans-Josef Jeanrond, M. R. King, N. H. Shelness. 555
• Statistische Analyse des Echtzeitverhaltens von Softwaresystemen im DARTS-EntwicklungssystemHans-H. Meyer, Werner Tesch. 556
• Lokalitätsverhalten bei der Pufferung von Magnetplatten-ZugriffenMonika Blum, Jürgen Höhne. 557
• Rechnersimulation und Leistungsmessung im Rahmen der Kapazitätsplanung von RechnenzentrenJ. Riedel. 558
• Ein Compiler für die Register Transfer-Sprache KARL-2Reiner W. Hartenstein, Peter Liell. 559
• Some Problems in Parallel Image Processor DesignG. Stamon, Bertrand Zavidovique. 560
• Netze mit zeitvarianten KomponentenverzögerungenIpke Wachsmuth. 561
• Induktive Inferenz und mehrwertige LogikClaudio Moraga. 562
• Deadlock Prediction Using Petri NetsRaymond Schneider. 563