Ebook: Werkzeuge der Programmiertechnik: GI-Arbeitstagung Karlsruhe, 16.–17. März 1981. Proceedings

---

Content:
Front Matter....Pages i-vi
Software-Produktions-Umgebungen: Entwicklungsstand Und Trends....Pages 1-27
Developing Algebraic Specifications of Threaded Data Structure Implementations....Pages 28-40
Ein Weg zur Spezifikation und Durchf?hrung von Transformationen an Programmen in h?heren Programmiersprachen....Pages 41-56
PASILA — ein computerunterstuetztes Werkzeug zur Definition und Implementation von Anforderunqssprachen....Pages 57-74
Spezifikation f?r ein Spezifikationswerkzeug....Pages 75-100
ESPRESO-W, ein Werkzeug f?r die Spezifikation von Proze?rechner-Software....Pages 101-112
Methoden und Werkzeuge zur Software-Entwicklung: Einordnung und ?berblick....Pages 113-153
DIPROTOR Ein Softwarewerkzeug zur Erstellung von Diagrammen und Programmrahmen f?r die datenstrukturorientierte Methode des Programmentwurfs....Pages 154-168
RELSPEZ — Eine Relationale Problemspezifikation; Konzept und Erfahrungsbericht....Pages 169-180
Die separate Compilation in CHILL....Pages 181-196
A Separate Compilation System for Ada....Pages 197-213
Software Entwicklung f?r Mikroprozessoren bei der NIXDORF Computer AG....Pages 214-227
Erfahrungen Aus Entwicklung und Einsatz Eines Programmgeneratorsystems mit Komfortabler Benutzerschnittstelle zum ‘Bildhaften Spezifizieren’....Pages 228-243
Systeme R / SAP Real-Time Systeme....Pages 244-260
Back Matter....Pages 261-262

---

Content:
Front Matter....Pages i-vi
Software-Produktions-Umgebungen: Entwicklungsstand Und Trends....Pages 1-27
Developing Algebraic Specifications of Threaded Data Structure Implementations....Pages 28-40
Ein Weg zur Spezifikation und Durchf?hrung von Transformationen an Programmen in h?heren Programmiersprachen....Pages 41-56
PASILA — ein computerunterstuetztes Werkzeug zur Definition und Implementation von Anforderunqssprachen....Pages 57-74
Spezifikation f?r ein Spezifikationswerkzeug....Pages 75-100
ESPRESO-W, ein Werkzeug f?r die Spezifikation von Proze?rechner-Software....Pages 101-112
Methoden und Werkzeuge zur Software-Entwicklung: Einordnung und ?berblick....Pages 113-153
DIPROTOR Ein Softwarewerkzeug zur Erstellung von Diagrammen und Programmrahmen f?r die datenstrukturorientierte Methode des Programmentwurfs....Pages 154-168
RELSPEZ — Eine Relationale Problemspezifikation; Konzept und Erfahrungsbericht....Pages 169-180
Die separate Compilation in CHILL....Pages 181-196
A Separate Compilation System for Ada....Pages 197-213
Software Entwicklung f?r Mikroprozessoren bei der NIXDORF Computer AG....Pages 214-227
Erfahrungen Aus Entwicklung und Einsatz Eines Programmgeneratorsystems mit Komfortabler Benutzerschnittstelle zum ‘Bildhaften Spezifizieren’....Pages 228-243
Systeme R / SAP Real-Time Systeme....Pages 244-260
Back Matter....Pages 261-262
....