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.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer programming -- Congresses.
موضوع مستند نشده
Computer programming.
موضوع مستند نشده
Programming languages (Electronic computers) -- Congresses.
رده بندی کنگره
شماره رده
QA76
.
7
نشانه اثر
H473
1982
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
herausgegeben von Hans Wössner.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Gesellschaft für Informatik. Fachausschuss 2, Programmiersprachen. Fachtagung