Requirements Engineering

1. Front Matter

   Pages N2-VIII

   PDF

2. Methoden

   1. Requirements — einmal anders betrachtet

      • P. Hruschka

      Pages 1-14

   2. Zielgerichtetes Und Regelgesteuertes Problemlösen Mit Der Requirements-Engineering Methodologie Ibis

      • S. Florek, H.-J. Schneider

      Pages 15-28

   3. System Design Using Petri Nets

      • Wolfgang Reisig

      Pages 29-41

   4. Abstract Data Types As A Tool For Requirement Engineering

      • Helmut Partsch, Peter Pepper

      Pages 42-55

3. Erfahrungen

   1. Erfahrungen Mit Programm-Prototypen

      • Wolfgang Dette

      Pages 56-63

   2. Drei Jahre Sadt Bei Scs: Blick Zurück Ohne Zorn

      • Almuth Fischer

      Pages 64-76

   3. Requirements Engineering in S/E/TEC

      • Hanns-Martin Meyer

      Pages 77-91

   4. Erstellung von Anforderungsspezifikationen für Automatisierungssysteme mit Epos Eigenschaften und Erfahrungen

      • Silvije Jovalekic

      Pages 92-103

   5. Erfahrungen beim Einsatz des Spezifikationssystems ESPRESO

      • Klaus Eckert

      Pages 104-118

   6. Erfahrungen mit Modellbildung, Entwurf und Dokumentation von rechnergestützten Leitsystemen im Verkehrsbereich

      • Gerhard Schweizer, Stefan Kühner

      Pages 119-137

4. Verfahren

   1. On the use of Algebraic Methods for Formal Requirements Definitions

      • H. Partsch

      Pages 138-158

   2. Systematische Aufgabenklärung am Beispiel Software

      • Bernd Kühnel, Günter Teuschler

      Pages 159-172

   3. Prolog als Spezifikations- und Modellierungswerkzeug

      • Peter Schnupp

      Pages 173-182

   4. Entwicklung von Prozeßinformationssystemen — Ein Lernprozeß für Entwickler und Anwender

      • H. Trauboth

      Pages 183-197

5. Beschreibungsmittel

   1. Anforderungsbeschreibung und Simulation Mit Net-Modellen

      • P. Winkler

      Pages 198-207

   2. Anforderungsmodellierung für Realzeitsysteme

      • Roland Mittermeir

      Pages 208-222

   3. Benutzernahe Anforderungsanalyse Mit SARS

      • W. K. Epple, G. R. Koch

      Pages 223-239

   4. Real Time in Distributed Real Time Systems

      • H. Kopetz

      Pages 240-247

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.

• Anforderungsanalyse
• Anforderungsdefinition
• Anforderungserhebung
• Dokumentation
• Engineering
• Entwurf
• Komplexität
• Modellierung
• Simulation
• Spezifikation (EDV)
• Strukturierte Analyse

• Institut für Informatik, Technische Universität München, München 2, Germany

  G. Hommel

• Dornier GmbH, WF 30, Friedrichshafen 1, Germany

  D. Krönig

Policies and ethics