Certifying Software Component Performance Specifications

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

Full description

Autores:
Tipo de recurso:
Book
Fecha de publicación:
2013
Institución:
Universidad de Bogotá Jorge Tadeo Lozano
Repositorio:
Expeditio: repositorio UTadeo
Idioma:
eng
OAI Identifier:
oai:expeditiorepositorio.utadeo.edu.co:20.500.12010/16752
Acceso en línea:
https://www.ksp.kit.edu/9783731500803
http://hdl.handle.net/20.500.12010/16752
Palabra clave:
Ciencias de la computación
Rendimiento de componentes
Software
Ingeniería de software -- Componentes (CBSE)
Rights
License
Abierto (Texto Completo)
Description
Summary: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.