Software engineering perspectives
- methods of development
- the identification of objects
- contracts -- refinement
- validation -- a formal approach
Additional keywords and phrases:
requirements, analysis, implementation, design as transition,
CRC cards, responsibilities, heuristics,
contractual obligations,
validation