Correctness by Proof
|
Unprecedented Benefits |
| Three separate steps to construct requirements |
Simplicity, objectivity, and intelligibility |
| Axiomatic method to prove requirements |
Consistent, complete, and stable requirements |
| Build three theories to represent the whole of requirements |
Precise, complete, and malleable requirements documentation |