01699nam 2200373z- 450 9910346861403321202102111000036063(CKB)4920000000101902(oapen)https://directory.doabooks.org/handle/20.500.12854/42927(oapen)doab42927(EXLCZ)99492000000010190220202102d2013 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierCertifying Software Component Performance SpecificationsKIT Scientific Publishing20131 online resource (XIV, 473 p. p.)The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner3-7315-0080-9 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.AccuracyCertificationCommon Component Modeling Example (CoCoME)Component-Based Software Engineering (CBSE)Performance PredictionGroenda Henningauth1322307BOOK9910346861403321Certifying Software Component Performance Specifications3034789UNINA