Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983

Publisher
Springer
Website
Year
1983
Period
Place
ISBN
3-540-12692-9
DOI
Volume
Copyright info

Description

Articles

Hruschka, Peter (1983): Requirements - einmal anders betrachtet. In: Hommel, Günter, Kronig, Dirk (eds.) Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983 , 1983, . pp. 1-14.

Eckert, Klaus (1983): Erfahrungen beim Einsatz des Spezifikationssystems ESPRESO. In: Hommel, Günter, Kronig, Dirk (eds.) Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983 , 1983, . pp. 104-118.

Schweizer, Gerhard, Kühner, Stefan (1983): Erfahrungen mit Modellbildung, Entwurf und Dokumentation von rechnergestützten Leitsysteme. In: Hommel, Günter, Kronig, Dirk (eds.) Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983 , 1983, . pp. 119-137.

Partsch, Helmuth (1983): On the Use of Algebraic Methods for Formal Requirements Definitions. In: Hommel, Günter, Kronig, Dirk (eds.) Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983 , 1983, . pp. 138-158.

Florek, Siegfried, Schneider, H.-J. (1983): Zielgerichtetes und regelgesteuertes Problemlösen mit der Requirements-Engineering Methodo. In: Hommel, Günter, Kronig, Dirk (eds.) Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983 , 1983, . pp. 15-28.

Schnupp, Peter (1983): Prolog als Spezifikations- und Modellierungswerkzeug. In: Hommel, Günter, Kronig, Dirk (eds.) Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983 , 1983, . pp. 173-182.

Trauboth, Heinz (1983): Entwicklung von Prozeßinformationssystemen - ein Lernprozeß für Entwickler und Andwender. In: Hommel, Günter, Kronig, Dirk (eds.) Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983 , 1983, . pp. 183-197.

Winkler, Peter (1983): Anforderungsbeschreibung und Simulation mit Net-Modellen. In: Hommel, Günter, Kronig, Dirk (eds.) Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983 , 1983, . pp. 198-207.

Epple, Wolfgang K., Koch, Günter R. (1983): Benutzernahe Anforderungsanalyse mit SARS. In: Hommel, Günter, Kronig, Dirk (eds.) Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983 , 1983, . pp. 223-239.

Reisig, Wolfgang (1983): System Design Using Petri Nets. In: Hommel, Günter, Kronig, Dirk (eds.) Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983 , 1983, . pp. 29-41.

Partsch, Helmuth, Pepper, Peter (1983): Abstract Data Types as a Tool for Requirement Engineering. In: Hommel, Günter, Kronig, Dirk (eds.) Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983 , 1983, . pp. 42-55.

Dette, Wolfgang (1983): Erfahrungen mit Programm-Prototypen. In: Hommel, Günter, Kronig, Dirk (eds.) Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983 , 1983, . pp. 56-63.

Meyer, Hanns-Martin (1983): Requirements Engineering in S/E/TEC. In: Hommel, Günter, Kronig, Dirk (eds.) Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983 , 1983, . pp. 77-91.