ISBN-13: 9783486715262 / Niemiecki / Miękka / 2013 / 319 str.
Die Leistungsanalyse in den fruhen Stadien der Systementwicklung enthalt ein groes Potenzial zur Vermeidung von Kosten- und Zeitplanuberschreitungen: Nicht anforderungskonforme Losungen konnen fruhzeitig ausgeschlossen und dadurch Fehlimplementierungen vermieden werden. Die vorliegende Arbeit stellt einen Ansatz zur Leistungsbewertung auf Modellebene vor, der die Verifikation von Systemeigenschaften bereits wahrend der Design-Phase ermoglicht. Er zeichnet sich durch Systematik und einen hohen Grad der Automatisierung der Methoden aus. Zudem unterstutzt er verschiedene Modellierungssichten und berucksichtigt eingehend auch den technischen Prozess. Damit weist er deutlich uber bestehende Verfahren hinaus.