Skip to main content
SpringerLink
Log in

GI — 10. Jahrestagung

Saarbrücken, 30. September – 2. Oktober 1980

  • Conference proceedings
  • © 1980

Overview

Editors:
  1. R. Wilhelm

    1. Fachbereich 10 - Angewandte Mathematik und Informatik, Universität des Saarlandes, Saarbrücken, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Informatik-Fachberichte (INFORMATIK, volume 33)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (79 papers)

  1. Front Matter

    Pages I-XV
    Download chapter PDF

  2. Hauptvorträge

    1. Expert Systems: Looking Back and Looking Ahead

      • Edward A. Feigenbaum
      Pages 1-14

    2. Relational Database Systems: Where We Stand Today

      • W. Frank King III
      Pages 15-44

    3. Capabilities and Protection

      • R. M. Needham
      Pages 45-53

    4. Effizienz Paralleler Rechner

      • Z. Galil, W. Paul
      Pages 54-64

    5. Die Rezeption des Buches “Die Macht der Computer und die Ohnmacht der Vernunft”

      • J. Weizenbaum
      Pages 65-65

  3. Fachgespräche (KV = Kurzvortrag)

    1. Software-Entwicklung, Software-Pflege

      1. Application of Meta-Compilation Methods in the Ada Test Translator Development
        • Knut Ripken
        Pages 66-77
      2. Abstraction and Refinement Principles Applied to the Conception of Functionally Distributed Systems
        • Alain Tarabout, Bernard Maillot, Irène Vatton
        Pages 78-91
      3. DARTS Ein Softwareentwurfswerkzeug für Echtzeitprogramme
        • Hans Keutgen, Hans Meyer
        Pages 92-105
      4. The Use of Nested Scheme Parameters in the System CIP
        • R. Steinbrüggen
        Pages 106-106
      5. Das Projektmodell — Eine Grundlage für die Ingenieurmäßige Software-Entwicklung
        • Wolfgang Hesse
        Pages 107-122
      6. Praxisbezogene Systementwicklung aus Ganzheitlicher Sicht
        • Hans-Joachim Habermann, Jürgen Kirbach
        Pages 123-138
      7. Die Einführung der Strukturierten-Software-Dekompositions-Methode bei GOLEM
        • Horst Biller, Volker Schmidt-Ramsin
        Pages 139-149
      8. Eine Methode zum Entwurf betrieblicher Informationssysteme
        • Hubert Österle
        Pages 150-165

    2. Datenbanken/Data Base Systems

      1. Konstrukte zur Darstellung und Prüfung semantischer Regeln
        • Bernd Breutmann, Rosmarie Mauer
        Pages 166-180
      2. Dynamic Consistency Constraints in the Conceptual Schema and their Connections with the External Schema
        • Carl August Zehnder, Bertram Thurnherr
        Pages 181-195
      3. Dynamics in Information System Design and Management
        • C. Rolland, C. Richard
        Pages 196-212
      4. Konstruktive Abstrakte Datentypen
        • H. Wedekind
        Pages 213-224
      5. Modularer Datenbank Entwurf für Kleinrechner
        • Hermann Bense
        Pages 225-242
      6. Abhängigkeiten von Systemkomponenten in Datenbanksystemen
        • Theo Härder, Andreas Reuter
        Pages 243-257
Back to top

Keywords

Editors and Affiliations

  • Fachbereich 10 - Angewandte Mathematik und Informatik, Universität des Saarlandes, Saarbrücken, Deutschland

    R. Wilhelm

Bibliographic Information

  • Book Title: GI — 10. Jahrestagung

  • Book Subtitle: Saarbrücken, 30. September – 2. Oktober 1980

  • Editors: R. Wilhelm

  • Series Title: Informatik-Fachberichte

  • DOI: https://doi.org/10.1007/978-3-642-67838-7

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin · Heidelberg 1980

  • Softcover ISBN: 978-3-540-10388-2Published: 01 September 1980

  • eBook ISBN: 978-3-642-67838-7Published: 07 March 2013

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: XVI, 564

  • Topics: Theory of Computation, Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation