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