Reduced Development Cost
- Static analysis tools will have more prominence
- Test all paths in the code
- Find errors much earlier in the development process.
- Provide immediate assistance by linking errors directly to the specification -this is a good way to “teach” the spec as code is being written.
- Requirements cleanup
- Reduced number of requirements
- Removal of some redundant requirements