Programmiersprachen und Programmentwicklung 7. Fachtagung veranstaltet vom Fachausschuß 2 der GI München, 9./10. März 1982
Other Authors: | |
---|---|
Format: | eBook |
Language: | German |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1982, 1982
|
Edition: | 1st ed. 1982 |
Series: | Informatik-Fachberichte
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Hauptvorträge
- A View of Current Concerns in Software Engineering
- Towards a Decentralised General-Purpose Computer
- Directions and Trends in FORTRAN (Abstract)
- Findet Ada zurück nach Europa ?
- Eingereichte Vorträge
- Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme
- Programmieren mit graphischen Mitteln: Die Sprache GRADE und ihre Implementation
- Ein System zur rechnerunterstützten Spezifikation
- Projektorganisation nach dem Komponentenkonzept
- A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication
- From Requirements to their Formalization — A Case Study on the Stepwise Development of Algebraic Specifications
- Generierung von Programmen für kommerzielle Anwendungen auf Kleinrechnern
- LL- and LR-Attributed Grammars
- Static Semantic Checks of Global Variables in a Procedural Language
- A Formal Model of Instruction Set Semantics
- System- und Sprachentwicklung für die Verfahrenstechnik auf der Basis abstrakter Maschinen
- Modularer Mustervergleich im Rahmen prozeduraler Programmierung
- A Language for Set-Theoretic Concepts Implemented by Microprogrammed Associative Memory Instructions
- Anschriften der Autoren