Partial Verification of Software Components: Heuristics for Environment Construction.

Pavel Parízek Frantisek Plasil

Published in: EUROMICRO-SEAA (2007)

Keyphrases

software components
software systems
software development
software modules
software reuse
web services
mobile robot
building blocks
data sets
database
java programs
commercial off the shelf
source code
software engineering
search algorithm
cooperative
case study
artificial intelligence
real world