Syndetics cover image
Image from Syndetics

Certifying Software Component Performance Specifications

By: Contributor(s): Material type: ArticleSeries: Publication details: KIT Scientific Publishing 2013Description: 1 electronic resource (XIV, 473 p. p.)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783731500803
Subject(s): Online resources: 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.
No physical items for this record

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