Anforderungen und Spezifikationen Terminologie

1. Führe die notwendigen Begriffsbeschreibungen und Definitionen durch,
d.h. etabliere das Vokabular.
2. Beschreibe Eigenschaften des Anwendungsbereiches unabhängig von
den Anforderungen als indikative Aussagen.
3. Beschreibe die Anforderungen als optative Aussagen.
4. Beschreibe die Annahmen, die gemacht werden.
5. Zähle alle relevanten Aktionen auf.
6. Klassifiziere die Aktionen.
7. Entwickle eine Spezifikation der Maschine.
8. Weise die Korrektheit der entwickelten Spezifikation nach.
29
Beispiel: Eintritt in einen Zoo
31
BEMERKUNG
Diese Methode ist sehr allgemein.
Die Mächtigkeit einer Methode ist umgekehrt proportional zu ihrer
Allgemeinheit.
Später: Problem Frames zur Spezialisierung der Methode.
VERBALE PROBLEMBESCHREIBUNG
➠ Eingang eines Zoos mit Drehkreuz und Münzeinwurf
Mechanik bereits vorhanden (Teile der Umgebung)
Aufgabe: Steuersoftware schreiben
➠ Benutzung des Drehkreuzes:
Besucher muss Drehkreuz in Zwischenposition drücken.
Drehkreuz bewegt sich dann automatisch in Ausgangsposition und
befördert dabei Besucher in den Zoo
➠ Drehkreuz besitzt Verriegelungsmechanismus
Wenn verriegelt, drücken in Zwischenposition nicht möglich.
30
32