Werkzeuge der Programmiertechnik

GI-Arbeitstagung Karlsruhe, 16.-17. März 1981. Proceedings

276 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Informatik-Fachberichte
• Themen: Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung
• ISBN: 9783540107255
• Sprache: Deutsch
• Erscheinungsdatum: 01.03.1981
• Größe: 244 x 170 mm
• Verlag: Springer
• Herausgegeben von: G. Goos