Keyphrases
- software components
- software systems
- software reuse
- software development
- building blocks
- model checking
- web services
- software modules
- commercial off the shelf
- reusable components
- java programs
- development environments
- software artifacts
- formal specification
- object oriented
- information technology
- reinforcement learning
- case study