Alfred Laut Developing algebraic specifications of threaded data structure implementations. [Citation Graph (0, 0)][DBLP] Werkzeuge der Programmiertechnik, 1981, pp:28-40 [Conf]
Georg Fischer Ein Weg zur Spezifikation und Durchführung von Transformationen an Programmen in höheren Programmiersprachen. [Citation Graph (0, 0)][DBLP] Werkzeuge der Programmiertechnik, 1981, pp:41-56 [Conf]
Joachim Christ, Helmut Balzert PASILA - ein computerunterstütztes Werkzeug zur Definition und Implementation von Anforderungssprachen. [Citation Graph (0, 0)][DBLP] Werkzeuge der Programmiertechnik, 1981, pp:57-74 [Conf]
Peter Schnupp Spezifikation für ein Spezifikationswerkzeug. [Citation Graph (0, 0)][DBLP] Werkzeuge der Programmiertechnik, 1981, pp:75-100 [Conf]
Wolfgang Hesse Methoden und Werkzeuge zur Software-Entwicklung: Einordnung und Überblick. [Citation Graph (0, 0)][DBLP] Werkzeuge der Programmiertechnik, 1981, pp:113-153 [Conf]
K. Schollenberger, Klaus Truöl, U. Viebeg DIPROTOR - ein Softwarewerkzeug zur Erstellung von Diagrammen und Programmrahmen für die datenstrukturorientierte Methode des Programmentwurfs. [Citation Graph (0, 0)][DBLP] Werkzeuge der Programmiertechnik, 1981, pp:154-168 [Conf]
Rainer Michael Gerkens Erfahrungen aus Entwicklung und Einsatz eines Programmgeneratorsystems mit komfortabler Benutzerschnittstelle zum "bildhaften Spezifizieren". [Citation Graph (0, 0)][DBLP] Werkzeuge der Programmiertechnik, 1981, pp:228-243 [Conf]