| Document Type
|
:
|
BL
|
| Record Number
|
:
|
738250
|
| Doc. No
|
:
|
b558130
|
| Main Entry
|
:
|
herausgegeben von Hans Wössner.
|
| Title & Author
|
:
|
Programmiersprachen und Programmentwicklung : : 7. Fachtagung, München, März 1982\ herausgegeben von Hans Wössner.
|
| Publication Statement
|
:
|
Berlin: Springer-Verlag, 1982
|
| Series Statement
|
:
|
Informatik-Fachberichte, 53.
|
| Page. NO
|
:
|
viii, 236 pages : illustrations ; 1982.
|
| ISBN
|
:
|
3540112049
|
|
|
:
|
: 9783540112044
|
| Contents
|
:
|
Hauptvortrage.- A View of Current Concerns in Software Engineering.- Towards a Decentralised General-Purpose Computer.- Directions and Trends in FORTRAN (Abstract).- Findet Ada zuruck nach Europa ?.- Eingereichte Vortrage.- Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme.- Programmieren mit graphischen Mitteln: Die Sprache GRADE und ihre Implementation.- Ein System zur rechnerunterstutzten 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 fur 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 fur 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.
|
| Subject
|
:
|
Computer programming -- Congresses.
|
| Subject
|
:
|
Computer programming.
|
| Subject
|
:
|
Programming languages (Electronic computers) -- Congresses.
|
| LC Classification
|
:
|
QA76.7H473 1982
|
| Added Entry
|
:
|
Gesellschaft für Informatik. Fachausschuss 2, Programmiersprachen. Fachtagung
|
|
|
:
|
H Wössner
|