Title: V&V within reuse-based software engineering
Subjects: Computer programming, Proving, Software reuse, Software engineering