Werkzeuge der Programmiertechnik

Keyphrases

Publications

1981

Wolfgang Hesse
Methoden und Werkzeuge zur Software-Entwicklung: Einordnung und Überblick. Werkzeuge der Programmiertechnik (1981)
Georg Fischer
Ein Weg zur Spezifikation und Durchführung von Transformationen an Programmen in höheren Programmiersprachen. Werkzeuge der Programmiertechnik (1981)
Klaus Angermann, Manfred Sedello
Software-Entwicklung für Mikroprozessoren bei der Nixdorf Computer AG. Werkzeuge der Programmiertechnik (1981)
Thorsten Spitta, Antonio Schnieder
RELSPEZ - eine relationale Problemspezifikation: Konzept und Erfahrungsbericht. Werkzeuge der Programmiertechnik (1981)
Peter Schnupp
Spezifikation für ein Spezifikationswerkzeug. Werkzeuge der Programmiertechnik (1981)
Hans-Ludwig Hausen, Monika Müllerburg
Software-Produktionsumgebungen: Entwicklungsstand und Trends. Werkzeuge der Programmiertechnik (1981)
Klaus Eckert, Jochen Ludewig
ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software. Werkzeuge der Programmiertechnik (1981)
Rainer Michael Gerkens
Erfahrungen aus Entwicklung und Einsatz eines Programmgeneratorsystems mit komfortabler Benutzerschnittstelle zum "bildhaften Spezifizieren". Werkzeuge der Programmiertechnik (1981)
Manfred Dausmann, Guido Persch, Sophia Drossopoulou, Georg Winterstein
A Separate Compilation System for Ada. Werkzeuge der Programmiertechnik (1981)
Hasso Plattner
Systeme R/SAP - Real Time Systeme. Werkzeuge der Programmiertechnik (1981)
Alfred Laut
Developing algebraic specifications of threaded data structure implementations. Werkzeuge der Programmiertechnik (1981)
Joachim Christ, Helmut Balzert
PASILA - ein computerunterstütztes Werkzeug zur Definition und Implementation von Anforderungssprachen. Werkzeuge der Programmiertechnik (1981)
K. Schollenberger, Klaus Truöl, U. Viebeg
DIPROTOR - ein Softwarewerkzeug zur Erstellung von Diagrammen und Programmrahmen für die datenstrukturorientierte Methode des Programmentwurfs. Werkzeuge der Programmiertechnik (1981)
Alois Büchler
Die separate Compilation in Chill. Werkzeuge der Programmiertechnik (1981)

volume 43, 1981

Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. März 1981, Proceedings Werkzeuge der Programmiertechnik 43 (1981)