Günter Hommel, Dirk Krönig (Eds.):
Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983.
Informatik-Fachberichte 74 Springer 1983, ISBN 3-540-12692-9
@proceedings{DBLP:conf/re/1983,
editor = {G{\"u}nter Hommel and
Dirk Kr{\"o}nig},
title = {Requirements Engineering, Arbeitstagung der GI, Friedrichshafen,
12.-14. Oktober 1983},
booktitle = {Requirements Engineering},
publisher = {Springer},
series = {Informatik-Fachberichte},
volume = {74},
year = {1983},
isbn = {3-540-12692-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Methoden
Erfahrungen
- Wolfgang Dette:
Erfahrungen mit Programm-Prototypen.
56-63
- Almuth Fischer:
Drei Jahre SADT bei SCS: Blick zurück ohne Zorn.
64-76
- Hanns-Martin Meyer:
Requirements Engineering in S/E/TEC.
77-91
- Silvije Jovalekic:
Erstellung von Anforderungsspezifikationen für Automatisierungssysteme mit EPOS - Eigenschaften und Erfahrungen.
92-103
- Klaus Eckert:
Erfahrungen beim Einsatz des Spezifikationssystems ESPRESO.
104-118
- Gerhard Schweizer, Stefan Kühner:
Erfahrungen mit Modellbildung, Entwurf und Dokumentation von rechnergestützten Leitsystemen im Verkehrsbereich.
119-137
Verfahren
- Helmuth Partsch:
On the Use of Algebraic Methods for Formal Requirements Definitions.
138-158
- Bernd Kühnel, Günter Teuschler:
Systematische Aufgabenklärung am Beispiel Software.
159-172
- Peter Schnupp:
Prolog als Spezifikations- und Modellierungswerkzeug.
173-182
- Heinz Trauboth:
Entwicklung von Prozeßinformationssystemen - ein Lernprozeß für Entwickler und Andwender.
183-197
Beschreibungsmittel
Copyright © Mon Nov 2 21:06:20 2009
by Michael Ley (ley@uni-trier.de)