Requirements Engineering 1983: Friedrichshafen, Germany

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 BibTeX

@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

Peter Hruschka: Requirements - einmal anders betrachtet. 1-14 BibTeX
Siegfried Florek, H.-J. Schneider: Zielgerichtetes und regelgesteuertes Problemlösen mit der Requirements-Engineering Methodologie IBIS. 15-28 BibTeX
Wolfgang Reisig: System Design Using Petri Nets. 29-41 BibTeX
Helmuth Partsch, Peter Pepper: Abstract Data Types as a Tool for Requirement Engineering. 42-55 BibTeX

Erfahrungen

Wolfgang Dette: Erfahrungen mit Programm-Prototypen. 56-63 BibTeX
Almuth Fischer: Drei Jahre SADT bei SCS: Blick zurück ohne Zorn. 64-76 BibTeX
Hanns-Martin Meyer: Requirements Engineering in S/E/TEC. 77-91 BibTeX
Silvije Jovalekic: Erstellung von Anforderungsspezifikationen für Automatisierungssysteme mit EPOS - Eigenschaften und Erfahrungen. 92-103 BibTeX
Klaus Eckert: Erfahrungen beim Einsatz des Spezifikationssystems ESPRESO. 104-118 BibTeX
Gerhard Schweizer, Stefan Kühner: Erfahrungen mit Modellbildung, Entwurf und Dokumentation von rechnergestützten Leitsystemen im Verkehrsbereich. 119-137 BibTeX

Verfahren

Helmuth Partsch: On the Use of Algebraic Methods for Formal Requirements Definitions. 138-158 BibTeX
Bernd Kühnel, Günter Teuschler: Systematische Aufgabenklärung am Beispiel Software. 159-172 BibTeX
Peter Schnupp: Prolog als Spezifikations- und Modellierungswerkzeug. 173-182 BibTeX
Heinz Trauboth: Entwicklung von Prozeßinformationssystemen - ein Lernprozeß für Entwickler und Andwender. 183-197 BibTeX

Beschreibungsmittel

Peter Winkler: Anforderungsbeschreibung und Simulation mit Net-Modellen. 198-207 BibTeX
Roland Mittermeir: Anforderungsmodellierung für Realzeitsysteme - Ansätze zur Bewältigung von Komplexität und von Unschärfe. 208-222 BibTeX
Wolfgang K. Epple, Günter R. Koch: Benutzernahe Anforderungsanalyse mit SARS. 223-239 BibTeX
Hermann Kopetz: Real Time in Distributed Real Time Systems. 240-247 BibTeX