Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
The IFAD VDM-SL toolbox: a practical approach to formal specifications
ACM SIGPLAN Notices
The Construction of Formal Specifications; An Introduction to the Model-Based and Algebraic Approaches
Proof-Based Development of Specifications with KIDS/VDM
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
The Use of Explicit Plans to Guide Inductive Proofs
Proceedings of the 9th International Conference on Automated Deduction
Hi-index | 0.00 |
Whilst some undergraduate introductions to formal methods play down the role of proof, others have tended to emphasize it as the true payback of using formal methods in the first place. This paper describes how a sports application can be used to illustrate many of these paybacks in a readily understandable way. It illustrates the difficulty of arriving at a formal specification of a complex specification, which is often a collaborative effort between at least two parties, and how this affects the chosen development method. The maintenance of specifications is also considered, in the light of frequent and complex rule changes, in some cases, as a result of "case law" during mid-season.