Software-Bewertung Ein semantischer Ansatz fr Infomationsmae [Paperback]

1 Einleitung.- 1.1 Thema und Ziele dieser Arbeit.- 1.2 Aufbau.- 2 Analyse des klassischen Ansatzes zur Software-Bewertung.- 2.1 Software-Ma?e.- 2.2 Drei konventionelle Software-Ma?e.- 2.3 Versuche, die Aussagekraft von Software-Ma?en zu erh?hen.- 2.4 Eigener Ansatz.- 3 Methoden zur formalen Semantikbeschreibung.- 3.1 Syntax, Semantik und Pragmatik.- 3.2 Formale Semantikspezifikationsmethoden.- 3.2.1 Operationelle Semantik.- 3.2.2 Axiomatische Semantik.- 3.2.3 Algebraische Semantik.- 3.2.4 Nat?rliche Semantik.- 3.3 Denotationelle Semantik.- 3.4 Semantikbasierte Compiler-Erzeugung.- 4 Theorie der Informationsbereiche.- 4.1 Informationsbereiche.- 4.2 Produkt-Informationsbereiche.- 4.3 Summen-Informationsbereiche.- 4.4 Funktionen-Informationsbereiche.- 4.5 Folgen-Informationsbereiche.- 4.6 Reflexive Informationsbereiche.- 4.7 Denotationelle Semantik und Informationsbereiche.- 5 Programme als quantitative Informationstransformatoren.- 5.1 Vorzeichenaiialyse als Beispiel einer abstrakten Interpretation.- 5.2 Grundlagen zur Theorie der abstrakten Interpretation.- 5.3 Definition der neuen abstrakten Programminterpretation.- 5.4 Zusammenfassung.- 6 M?glichkeiten zur weiteren Entwicklung und Anwendung der Theorie.- 6.1 Ans?tze zur Definition semantikbasierter Informationsma?e.- 6.2 Datentypen als Informationsbereiche.- 6.3 Die Frage nach der Existenz eines quantitativen Gesetzes f?r Transforma-tionen von Information mittels Computerprogrammen.- 7 Schlu?bemerkungen.Springer Book Archives