• Certifying Software Component...

Treffer: Certifying Software Component Performance Specifications

Title:
Certifying Software Component Performance Specifications
Authors:
Groenda, Henning
Publisher Information:
KIT Scientific Publishing
Publication Year:
2021
Collection:
Directory of Open Access Books (DOAB)
Subject Terms:
QA75.5-76.95, Accuracy, Component-Based Software Engineering (CBSE), Performance Prediction, Common Component Modeling Example (CoCoME), Certification, bic Book Industry Communication::U Computing & information technology::UY Computer science
Document Type:
other/unknown material
File Description:
image/jpeg
Language:
English
ISBN:
978-3-7315-0080-3
3-7315-0080-9
ISSN:
18670067
Relation:
The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner; 34808; https://www.ksp.kit.edu/9783731500803
Availability:
https://directory.doabooks.org/handle/20.500.12854/42927
https://hdl.handle.net/20.500.12854/42927
https://www.ksp.kit.edu/9783731500803
Rights:
open access
Accession Number:
edsbas.602C64E3
Database:
BASE

Weitere Informationen

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.