default search action
Werkzeuge der Programmiertechnik 1981: Karlsruhe, Germany
- Gerhard Goos:
Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. März 1981, Proceedings. Informatik-Fachberichte 43, Springer 1981, ISBN 3-540-10725-8 - Hans-Ludwig Hausen, Monika Müllerburg:
Software-Produktionsumgebungen: Entwicklungsstand und Trends. 1-27 - Alfred Laut:
Developing algebraic specifications of threaded data structure implementations. 28-40 - Georg Fischer:
Ein Weg zur Spezifikation und Durchführung von Transformationen an Programmen in höheren Programmiersprachen. 41-56 - Joachim Christ, Helmut Balzert:
PASILA - ein computerunterstütztes Werkzeug zur Definition und Implementation von Anforderungssprachen. 57-74 - Peter Schnupp:
Spezifikation für ein Spezifikationswerkzeug. 75-100 - Klaus Eckert, Jochen Ludewig:
ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software. 101-112 - Wolfgang Hesse:
Methoden und Werkzeuge zur Software-Entwicklung: Einordnung und Überblick. 113-153 - 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 - Thorsten Spitta, Antonio Schnieder:
RELSPEZ - eine relationale Problemspezifikation: Konzept und Erfahrungsbericht. 169-180 - Alois Büchler:
Die separate Compilation in Chill. 181-196 - Manfred Dausmann, Guido Persch, Sophia Drossopoulou, Georg Winterstein:
A Separate Compilation System for Ada. 197-213 - Klaus Angermann, Manfred Sedello:
Software-Entwicklung für Mikroprozessoren bei der Nixdorf Computer AG. 214-227 - Rainer Michael Gerkens:
Erfahrungen aus Entwicklung und Einsatz eines Programmgeneratorsystems mit komfortabler Benutzerschnittstelle zum "bildhaften Spezifizieren". 228-243 - Hasso Plattner:
Systeme R/SAP - Real Time Systeme. 244-260
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.