Software-Bewertung

Inhaltsverzeichnis

• 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.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.