Normal view MARC view ISBD view

Certifying Software Component Performance Specifications

By:

Groenda, Henning [auth]

Material type: Article

ArticleLanguage: English Publication details: KIT Scientific Publishing 2013Description: 1 electronic resource (XIV, 473 p. p.)ISBN:

KSP/1000036063
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.

Item type:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Collection	Call number	Materials specified	Status	Date due	Barcode
Electronic-Books	OPJGU Sonepat- Campus	E-Books Open Access			Available

Open Access star Unrestricted online access

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 https://creativecommons.org/licenses/by-sa/4.0/ cc https://creativecommons.org/licenses/by-sa/4.0/

English

There are no comments on this title.

to post a comment.