Certifying Software Component Performance Specifications

Material type: Text

TextLanguage: English Series: Publication details: KIT Scientific Publishing 2013Description: 1 online resource (XIV, 473 p. p.)Content type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783731500803
KSP/1000036063

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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

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.

Certifying Software Component Performance Specifications

© 2025 Fr. Valles Central Library, St. Xavier's College (Autonomous) Ahmedabad | Customized & Maintained by Shivam Moradia

Visitor Counter