Ebook: Requirements Engineering: Arbeitstagung der GI, Friedrichshafen, 12–14 Oktober 1983
- Tags: Software Engineering
- Series: Informatik-Fachberichte 74
- Year: 1983
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: German-English
- pdf
Die Arbeitstagung "Requirements Engineering für die Automatisierung von Systemen" wird vom Fachausschuß 4.3 "Requirements Engineering" der Gesellschaft für Informatik in Zusammenarbeit mit der Fachgruppe 4.4.1 "Systematisches Entwerfen von PDV-Systemen", einer gemeinsamen Fach gruppe von GI und VDI/VDE-GMR, und mit dem Fachausschuß 4.2 "Rechner gestütztes Entwerfen und Projektieren (CAE)" veranstaltet. Unter Requirements Engineering wird hier die ingenieurmäßige Ermitt lung der Anforderungen an die Automatisierung eines Systems und ihrer Aufarbeitung zur Realisierung in Hardware und Software verstanden. Es ist das erste Mal im deutschsprachigen Raum, daß speziell zu die sem Thema eine Tagung veranstaltet wird. Dies scheint gerechtfertigt durch das international zunehmende Interesse an dieser Problematik, welches offensichtlich aus den erheblichen Schwierigkeiten resultiert, die in der Praxis bei der Bewältigung dieser Aufgabe auftreten. Die Aufgabe wird häufig mit projektbezogenen Verfahren angegangen. Andererseits gibt es aber bereits theoretische Methoden zur systema tischen Anforderungserschließung, deren Einsatz in der industriellen Praxis jedoch noch Schwierigkeiten bereitet. In dieser Situation will die Arbeitstagung den Erfahrungsaustausch zwischen Theorie und Praxis fördern. Der Programmausschuß hat sich bemüht, unter den Vortragsan meldungen die Auswahl so zu treffen, daß einerseits der Stand der Tech nik und die vorliegenden Erfahrungen und andererseits Ansätze für zu künftige Entwicklungen in diesem Bereich erkennbar sind.
Content:
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
Content:
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
....