Rigorous Design Methodology

Phases

Specification: to capture requirements of system
Modelling: to create of abstract model
Verification: (Formal reasoning) to prove that model conforms ('meets') the specification
Implementation: concrete model (program)
Validation: checking that implementation conforms to the model/specification (testing and etc.)

Approaches

Mathematical approach: Refinements + Equivalence
Logical approach: Properties + Satisfaction

(to be completed and corrected)