Software engineering perspectives
4
validating object-oriented software
metrics of object-oriented design
formal specification methods
Additional keywords and phrases:
testing, black-box methods, white-box methods, correctness proofs
slide
:
Software engineering perspectives