Requirements Engineering 1983: Friedrichshafen, Germany
Günter Hommel, Dirk Krönig (Eds.): Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983. Springer 1983 Informatik-Fachberichte ISBN 3-540-12692-9
Methoden
- Peter Hruschka: Requirements - einmal anders betrachtet. 1-14
- Siegfried Florek, H.-J. Schneider: Zielgerichtetes und regelgesteuertes Problemlösen mit der Requirements-Engineering Methodologie IBIS. 15-28
- Wolfgang Reisig: System Design Using Petri Nets. 29-41
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
- 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
- Peter Winkler: Anforderungsbeschreibung und Simulation mit Net-Modellen. 198-207
- Roland Mittermeir: Anforderungsmodellierung für Realzeitsysteme - Ansätze zur Bewältigung von Komplexität und von Unschärfe. 208-222
- Hermann Kopetz: Real Time in Distributed Real Time Systems. 240-247
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team