Parameter Dependent Performance Specifications of Software Components.

Heiko Koziolek Jens Happe Steffen Becker

Published in: QoSA (2006)

Keyphrases

software components
formal specification
software systems
software reuse
software development
building blocks
web services
software modules
java programs
reusable components
commercial off the shelf
high level
functional requirements
business processes
software artifacts