[go: up one dir, main page]
Skip to main content
Springer Nature Link
Account

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

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
Softcover Book EUR 54.22
Price includes VAT (France)
  • 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

Explore related subjects

Discover the latest articles, books and news in related subjects.

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

Editors and Affiliations

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

    R. Wilhelm

Accessibility Information

PDF accessibility summary

This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or described non-text content (images, graphs etc). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at accessibilitysupport@springernature.com if you require assistance or an alternative format.

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

Keywords

Publish with us

Policies and ethics

Back to top