Werkzeuge der Programmiertechnik

Inhaltsverzeichnis

• 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.