Programmiersprachen und Programmentwicklung

Inhaltsverzeichnis

• 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.