Requirements Engineering: Arbeitstagung der GI, Friedrichshafen, 12–14 Oktober 1983

Front Matter....Pages N2-VIII
Requirements — einmal anders betrachtet....Pages 1-14
Zielgerichtetes Und Regelgesteuertes Problemlösen Mit Der Requirements-Engineering Methodologie Ibis....Pages 15-28
System Design Using Petri Nets....Pages 29-41
Abstract Data Types As A Tool For Requirement Engineering....Pages 42-55
Erfahrungen Mit Programm-Prototypen....Pages 56-63
Drei Jahre Sadt Bei Scs: Blick Zurück Ohne Zorn....Pages 64-76
Requirements Engineering in S/E/TEC....Pages 77-91
Erstellung von Anforderungsspezifikationen für Automatisierungssysteme mit Epos Eigenschaften und Erfahrungen....Pages 92-103
Erfahrungen beim Einsatz des Spezifikationssystems ESPRESO....Pages 104-118
Erfahrungen mit Modellbildung, Entwurf und Dokumentation von rechnergestützten Leitsystemen im Verkehrsbereich....Pages 119-137
On the use of Algebraic Methods for Formal Requirements Definitions....Pages 138-158
Systematische Aufgabenklärung am Beispiel Software....Pages 159-172
Prolog als Spezifikations- und Modellierungswerkzeug....Pages 173-182
Entwicklung von Prozeßinformationssystemen — Ein Lernprozeß für Entwickler und Anwender....Pages 183-197
Anforderungsbeschreibung und Simulation Mit Net-Modellen....Pages 198-207
Anforderungsmodellierung für Realzeitsysteme....Pages 208-222
Benutzernahe Anforderungsanalyse Mit SARS....Pages 223-239
Real Time in Distributed Real Time Systems....Pages 240-247