Peter Tr?ger nimmt eine umfassende Einordnung und Bewertung von Methoden vor, mit denen sich nicht-funktionale Eigenschaften wie Zuverl?ssigkeit, Verf?gbarkeit und Sicherheit modellieren und analysieren lassen. Er diskutiert dabei die Frage, ob und wie die Unvollkommenheit von Ausgangsinformationen ber?cksichtigt werden kann. Daf?r werden die Teilprobleme Unsicherheit und Uneindeutigkeit im Kontext von Informationstechnologien genauer besprochen...