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

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