Keyphrases
- software components
- computer algebra
- software systems
- software development
- theorem prover
- software reuse
- building blocks
- web services
- java programs
- development environments
- commercial off the shelf
- software modules
- software engineering
- multi agent systems
- reusable components
- automated theorem provers
- data sets
- computer algebra systems
- real world
- databases