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