Our plan of attack: this week
An overview of the key problems in requirements and specification
A brief history in proving programs correct
- An expected panacea for software that didn’t pan out
- But has provided some benefits
A look at formal specifications, with a focus on two forms
- Program correctness (as a basis for model-based specifications)
- Model-based specifications (Z)
- Overview of state machine based specifications