Constructing correct software
- 395 stránok
- 14 hodin čítania
An explanation of the constructive approach to software development. It involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques.