E-Book, Deutsch, Band 43, 262 Seiten, eBook
Reihe: Informatik-Fachberichte
Goos Werkzeuge der Programmiertechnik
1981
ISBN: 978-3-642-68064-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
GI-Arbeitstagung Karlsruhe, 16.–17. März 1981. Proceedings
E-Book, Deutsch, Band 43, 262 Seiten, eBook
Reihe: Informatik-Fachberichte
ISBN: 978-3-642-68064-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Software-Produktionsumgebungen: Entwicklungsstand und Trends.- Developing algebraic specifications of threaded data structure implementations.- Ein Weg zur Spezifikation und Durchführung von Transformationen an Programmen in höheren Programmiersprachen.- PASILA — ein computerunterstütztes Werkzeug zur Definition und Implementation von Anforderungssprachen.- Spezifikation für ein Spezif ikationswerkzeug.- ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software.- Methoden und Werkzeuge zur Software-Entwicklung: Einordnung und Überblick.- DIPROTOR — ein Softwarewerkzeug zur Erstellung von Diagrammen und Programmrahmen für die datenstrukturorientierte Methode des Programmentwurfs.- RELSPEZ — eine relationale Problemspezifikation: Konzept und Erfahrungsbericht.- Die separate Compilation in Chill.- A Separate Compilation System for Ada.- Software-Entwicklung für Mikroprozessoren bei der Nixdorf Computer AG.- Erfahrungen aus Entwicklung und Einsatz eines Programmgeneratorsysterns mit komfortabler Benutzer-schnittstelle zum ‘bildhaften Spezifizieren’.- Systeme R/SAP — Real Time Systeme.- Autorenverzeichnis.




