Skip to main content
SpringerLink
Log in

Programmiersprachen und Programmentwicklung

7. Fachtagung veranstaltet vom Fachausschuß 2 der GI München, 9./10. März 1982

  • Conference proceedings
  • © 1982

Overview

Editors:
  1. Hans Wössner

    1. Institut für Informatik, Technische Universität München, München 2, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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 (17 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Hauptvorträge

    1. A View of Current Concerns in Software Engineering

      • Władysław M. Turski
      Pages 1-19

    2. Towards a Decentralised General-Purpose Computer

      • Philip C. Treleaven
      Pages 21-31

    3. Directions and Trends in FORTRAN (Abstract)

      • George Paul
      Pages 32-32

    4. Findet Ada Zurück Nach Europa

      • Horst Hünke
      Pages 33-44

  3. Eingereichte Vorträge

    1. Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme

      • Rupert Gnatz
      Pages 45-65

    2. Programmieren mit graphischen Mitteln: Die Sprache GRADE und ihre Implementation

      • Hans-Eckart Sengler
      Pages 67-78

    3. Ein System zur rechnerunterstützten Spezifikation

      • Lutz Hirschmann
      Pages 79-91

    4. Projektorganisation nach dem Komponentenkonzept

      • Heiner Müller-Merbach
      Pages 93-103

    5. A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication

      • R. Gotzhein, S. Keramidis, M. Reitenspieß
      Pages 105-116

    6. From Requirements to their Formalization — A Case Study on the Stepwise Development of Algebraic Specifications

      • Helmut Partsch, Alfred Laut
      Pages 117-132

    7. Generierung von Programmen Für kommerzielle Anwendungen auf Kleinrechnern

      • Thomas M. Schünemann, Walter Ullmer
      Pages 133-150

    8. LL- and LR-Attributed Grammars

      • Reinhard Wilhelm
      Pages 151-164

    9. Static Semantic Checks of Global Variables in a Procedural Language

      • Bernhard Böhringer, Hartmut Feuerhahn
      Pages 165-176

    10. A Formal Model of Instruction Set Semantics

      • Robert Giegerich
      Pages 177-190

    11. System- und Sprachentwicklung für die Verfahrenstechnik auf der Basis abstracter Maschinen

      • K. H. Sturm
      Pages 191-207

    12. Modularer Mustervergleich im Rahmen prozeduraler Programmierung

      • Eberhard Bertsch
      Pages 209-220

    13. A Language for Set-Theoretic Concepts Implemented by Microprogrammed Associative Memory Instructions

      • Josef Grosch
      Pages 221-236

  4. Back Matter

    Pages 237-237
    Download chapter PDF
Back to top

Keywords

Editors and Affiliations

  • Institut für Informatik, Technische Universität München, München 2, Germany

    Hans Wössner

Bibliographic Information

  • Book Title: Programmiersprachen und Programmentwicklung

  • Book Subtitle: 7. Fachtagung veranstaltet vom Fachausschuß 2 der GI München, 9./10. März 1982

  • Editors: Hans Wössner

  • Series Title: Informatik-Fachberichte

  • DOI: https://doi.org/10.1007/978-3-642-68355-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1982

  • Softcover ISBN: 978-3-540-11204-4Published: 01 March 1982

  • eBook ISBN: 978-3-642-68355-8Published: 07 March 2013

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: VIII, 242

  • Topics: Programming Languages, Compilers, Interpreters, Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation