LEADER 01682nam  2200361z- 450 
001 9910346861403321
005 20231214133642.0
010   $a1000036063
035   $a(CKB)4920000000101902
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/42927
035   $a(EXLCZ)994920000000101902
100   $a20202102d2013      |y             0
101 0 $aeng
135   $aurmn|---annan
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCertifying Software Component Performance Specifications
210   $cKIT Scientific Publishing$d2013
215   $a1 electronic resource (XIV, 473 p. p.)
225 1 $aThe Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
311   $a3-7315-0080-9 
330   $aIn 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.
610   $aAccuracy
610   $aComponent-Based Software Engineering (CBSE)
610   $aPerformance Prediction
610   $aCommon Component Modeling Example (CoCoME)
610   $aCertification
700   $aGroenda$b Henning$4auth$01322307
906   $aBOOK
912   $a9910346861403321
996   $aCertifying Software Component Performance Specifications$93034789
997   $aUNINA