Was ist Software? - Software Engineering: Dependability
Was ist Software? - Software Engineering: Dependability
Was ist Software? - Software Engineering: Dependability
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
SE 2 – Motivation<br />
© Prof. Dr. Liggesmeyer<br />
<strong>Was</strong> <strong>ist</strong> <strong>Software</strong> <strong>Engineering</strong><br />
Analyse: Objektorientierte Techniken<br />
• Vorteile<br />
• Universelle Einsetzbarkeit<br />
• Ausgezeichnete Abstraktions-,<br />
Modularisierungs- und<br />
Hierarchisierungsmechanismen<br />
• Exzellente Visualisierung<br />
• Automatische Kons<strong>ist</strong>enzprüfung<br />
möglich<br />
• Unterstützung von Erweiterbarkeit<br />
und Änderbarkeit<br />
• Methodisch kons<strong>ist</strong>ent<br />
verfeinerbar<br />
• Nachteile<br />
• Semantik interpretierbar<br />
• Le<strong>ist</strong>ungsanforderungen nur<br />
eingeschränkt beschreibbar<br />
Getränkeautomaten-<br />
Steuerung<br />
Akt_Zustand<br />
Gew_Getränk<br />
Preis<br />
Gez_Betrag<br />
Getränk_wählen ()<br />
Becher_wählen ()<br />
Geld_eingeben ()<br />
Geld_zurückgeben ()<br />
#Betrag_zurücksetzen<br />
# Getränk_zurücksetzen<br />
# Restgeld_ermitteln<br />
: Kundenbedieneinheit<br />
Beispielausschnitt UML<br />
: Getränke-/Becher-Ausgabe<br />
Getränk_wählen ()<br />
Becher_wählen ()<br />
Geld_zurückgeben ()<br />
Getränk_ausgeben ()<br />
: Getränkeautomaten-Steuerung<br />
Betrag_anzeigen () Becher_ausgeben ()<br />
: Münzprüfer<br />
/ Getränk_ausgeben<br />
(Gew_Getränk)<br />
Rest:=Restgeld_ermitteln<br />
(Gez_Betrag, Preis),<br />
Rückgeld_auszahlen (Rest),<br />
Betrag_zurücksetzen<br />
Getränk_zurücksetzen<br />
Getränk_wählen (G) /<br />
P:= Preis_ermitteln (G)<br />
Getränk_ausverkauft ()<br />
Bechervorrat_leer ()<br />
Geld_eingeben ()<br />
Becher_ausg<br />
Getränk_wählen (G) /<br />
P:= Preis_ermitteln (G),<br />
Betrag_anzeigen (P)<br />
: Servicebedieneinheit<br />
Preis_ermitteln ()<br />
Becher_wählen (Nein)<br />
Becher_wählen (Ja) /<br />
Becher_ausgeben<br />
Geld_zurückgeben /<br />
Rückgeld_auszahlen<br />
(Gez_Betrag),<br />
Betrag_zurücksetzen<br />
Getränk_zurücksetzen<br />
Geld_eingeben (B) /<br />
Zahlung_ausr<br />
when<br />
(Gez_Betrag >= Preis)<br />
Geld_eingeben (B) /<br />
Betrag_hinzufügen (B)<br />
Bereit Betrag_anzeigen (P)<br />
Getränk_gew Betrag_hinzufügen (B)<br />
Betrag_gez<br />
Geld_zurückgeben /<br />
Rückgeld auszahlen (Gez_Betrag),<br />
Betrag zurücksetzen, Getränk zurücksetzen<br />
Rückgeld_auszahlen ()<br />
Kein_Wechselgeld ()<br />
: Rückgeldauszahler<br />
37