1. When you can measure what you are speaking about, and can express it in numbers, you know something about it; but when you cannot measure it, when you cannot express it in numbers, your knowleage is of a meagre and unsatisfactory kind: It may be the beginning of knowledge, but you have scarcely in your thoughts advanced to the stage of science. Lord Kelvin, a physicist
Reuse (Assume have source code, not a commercial product) Ariane 5. Therac-25. British AtC Expectation Significantly lower development costs and time. Amortize costs among all users or uses Assumptions
Formal design Reviews Associated with each of documentation phases Evaluate with respect to Customer requirements Prescribed standards and practices Contractual requirements
Abstract Model Specifications Build an abstract model of required software behavior using mathematically defined(perhaps using axioms )types(e. g sets, relations) Define operations by showing effects of that operation on the model Specification includes Model
Evolutionary Model Prototyping- \Do it twice to assess feasibility to verify requirements May only be a front end or executable specification Or develop system with less functionality or quality attributes °3 approaches: