


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














