Software-Bewertung - Baumann, Peter
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreSoyez informé(e) par e-mail dès l'arrivée de cet article
Créer une alerte prix
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Software - Bewertung Format Broché - Livre Informatique
0 avis sur Software - Bewertung Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Software - Bewertung Format Broché
- Livre Informatique
Résumé :
Die vorliegende Arbeit stellt einen Ansatz zur quantitativen Erfassung semantischer Informationsinhalte vor. Da Programme Transformationen von Information beschreiben, werden gr
Sommaire:
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....