E-Book, Deutsch, Band 53, 242 Seiten, eBook
Reihe: Informatik-Fachberichte
Wössner Programmiersprachen und Programmentwicklung
1982
ISBN: 978-3-642-68355-8
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
7. Fachtagung veranstaltet vom Fachausschuß 2 der GI München, 9./10. März 1982
E-Book, Deutsch, Band 53, 242 Seiten, eBook
Reihe: Informatik-Fachberichte
ISBN: 978-3-642-68355-8
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.