Abstract
Experience gained in successfully applying formal methods to an animated programming environment (APE) is reported. These techniques were applied to specify precisely some features of the APE system. The benefits of applying formal methods particularly to existing software are described, as is the specification process itself. Axiomatic specifications are written and a prototype of a module in the APE system is developed in Standard ml. The formal specification was developed by interrogating the implementation and documentation. A number of problems, exposed as a consequence, are presented.
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call