Werkzeuge der Programmiertechnik 1981: Karlsruhe, Germany

Gerhard Goos (Ed.): Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. März 1981, Proceedings. Informatik-Fachberichte 43 Springer 1981, ISBN 3-540-10725-8 BibTeX

@proceedings{DBLP:conf/programmier/1981,
  editor    = {Gerhard Goos},
  title     = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe,
               16.-17. M{\"a}rz 1981, Proceedings},
  booktitle = {Werkzeuge der Programmiertechnik},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {43},
  year      = {1981},
  isbn      = {3-540-10725-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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