Parametric Performance Contracts for Software Components with Concurrent Behaviour.
Jens HappeHeiko KoziolekRalf H. ReussnerPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- software components
- software systems
- software development
- software reuse
- building blocks
- web services
- java programs
- supply chain
- software modules
- commercial off the shelf
- runtime environment
- development environments
- formal specification
- information systems
- parametric models
- case study
- machine learning
- databases
- software projects
- metadata
- reusable components