UID:
almahu_9948192680702882
Umfang:
VI, 262 S. 2 Abb.
,
online resource.
Ausgabe:
1st ed. 1981.
ISBN:
9783642680649
Serie:
Informatik-Fachberichte, 43
Anmerkung:
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.
In:
Springer eBooks
Weitere Ausg.:
Printed edition: ISBN 9783540107255
Sprache:
Deutsch
DOI:
10.1007/978-3-642-68064-9
URL:
https://doi.org/10.1007/978-3-642-68064-9
