Werkzeuge der Programmiertechnik
GI-Arbeitstagung Karlsruhe, 16.-17. März 1981. Proceedings
Published on 7. March 2013
VI, 262 pages
978-3-642-68064-9 (ISBN)
Description
More details
Other editions
Additional editions
Book
03/1981
1st Edition
Springer
€54.99
Shipment within 10-15 days
Content
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.
