KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Volltext
DOI: 10.5445/KSP/1000036063
Die gedruckte Version dieser Publikation können Sie hier kaufen.

Certifying Software Component Performance Specifications

Groenda, Henning

Abstract:
In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications of components. This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications. Its applicability and effectiveness are demonstrated using the CoCoME benchmark.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Karlsruhe Service Research Institute (KSRI)
Publikationstyp Hochschulschrift
Jahr 2013
Sprache Englisch
Identifikator ISBN: 978-3-7315-0080-3
ISSN: 1867-0067
URN: urn:nbn:de:0072-360633
KITopen ID: 1000036063
Verlag KIT Scientific Publishing, Karlsruhe
Umfang XIV, 473 S.
Serie The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ; 11
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Programmstrukturen und Datenorganisation (IPD)
Prüfungsdaten 11.07.2013
Prüfungsdatum 11.07.2013
Referent/Betreuer Prof. R. Reussner
Schlagworte Accuracy, Performance Prediction, Certification, Common Component Modeling Example (CoCoME), Component-Based Software Engineering (CBSE)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page