Certifying Software Component Performance Specifications
Materialtyp:
ArtikelSerie: Utgivningsinformation: KIT Scientific Publishing 2013Beskrivning: 1 electronic resource (XIV, 473 p. p.)Innehållstyp: - text
- computer
- online resource
- 9783731500803
Inga fysiska exemplar för denna post
Open Access Unrestricted online access star
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.
Creative Commons Licence cc by-sa cc https://creativecommons.org/licenses/by-sa/4.0/
eng
Freely available e-book