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

---

Content:
Front Matter....Pages I-VIII
A View of Current Concerns in Software Engineering....Pages 1-19
Towards a Decentralised General-Purpose Computer....Pages 21-31
Directions and Trends in FORTRAN (Abstract)....Pages 32-32
Findet Ada Zur?ck Nach Europa....Pages 33-44
Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme....Pages 45-65
Programmieren mit graphischen Mitteln: Die Sprache GRADE und ihre Implementation....Pages 67-78
Ein System zur rechnerunterst?tzten Spezifikation....Pages 79-91
Projektorganisation nach dem Komponentenkonzept....Pages 93-103
A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication....Pages 105-116
From Requirements to their Formalization — A Case Study on the Stepwise Development of Algebraic Specifications....Pages 117-132
Generierung von Programmen F?r kommerzielle Anwendungen auf Kleinrechnern....Pages 133-150
LL- and LR-Attributed Grammars....Pages 151-164
Static Semantic Checks of Global Variables in a Procedural Language....Pages 165-176
A Formal Model of Instruction Set Semantics....Pages 177-190
System- und Sprachentwicklung f?r die Verfahrenstechnik auf der Basis abstracter Maschinen....Pages 191-207
Modularer Mustervergleich im Rahmen prozeduraler Programmierung....Pages 209-220
A Language for Set-Theoretic Concepts Implemented by Microprogrammed Associative Memory Instructions....Pages 221-236
Back Matter....Pages 237-237

---

Content:
Front Matter....Pages I-VIII
A View of Current Concerns in Software Engineering....Pages 1-19
Towards a Decentralised General-Purpose Computer....Pages 21-31
Directions and Trends in FORTRAN (Abstract)....Pages 32-32
Findet Ada Zur?ck Nach Europa....Pages 33-44
Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme....Pages 45-65
Programmieren mit graphischen Mitteln: Die Sprache GRADE und ihre Implementation....Pages 67-78
Ein System zur rechnerunterst?tzten Spezifikation....Pages 79-91
Projektorganisation nach dem Komponentenkonzept....Pages 93-103
A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication....Pages 105-116
From Requirements to their Formalization — A Case Study on the Stepwise Development of Algebraic Specifications....Pages 117-132
Generierung von Programmen F?r kommerzielle Anwendungen auf Kleinrechnern....Pages 133-150
LL- and LR-Attributed Grammars....Pages 151-164
Static Semantic Checks of Global Variables in a Procedural Language....Pages 165-176
A Formal Model of Instruction Set Semantics....Pages 177-190
System- und Sprachentwicklung f?r die Verfahrenstechnik auf der Basis abstracter Maschinen....Pages 191-207
Modularer Mustervergleich im Rahmen prozeduraler Programmierung....Pages 209-220
A Language for Set-Theoretic Concepts Implemented by Microprogrammed Associative Memory Instructions....Pages 221-236
Back Matter....Pages 237-237
....