Certifying Software Component Performance Specifications
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 accurac...
Saved in:
Superior document: | The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner |
---|---|
: | |
Year of Publication: | 2013 |
Language: | English |
Series: | The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
|
Physical Description: | 1 electronic resource (XIV, 473 p. p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Parameter dependencies for reusable performance specifications of software components
by: Koziolek, Heiko
Published: (2008) -
Specification and verification of object-oriented software components / / Andreas Roth.
by: Roth, Andreas,
Published: (2006.) -
Specification and verification of object-oriented software components
by: Roth, Andreas
Published: (2006) -
Software specification methods / edited by Henri Habrias, Marc Frappier.
Published: (2006.) -
Software and systems safety : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare.
Published: (2011.)