A Framework for Performing verification and validation in Reuse-Based Software Engineering.

Published in: Ann. Softw. Eng. (1998)

Keyphrases

software engineering
formal methods
probabilistic model
main contribution
software architecture
programming language
software systems
software reuse
databases
information retrieval
software development
theoretical framework