Programming Phase: Formal Methods

Authored by: Richard F. Paige , Jim Woodcock , Phillip J. Brooke , Ana Cavalcanti

Encyclopedia of Software Engineering

Print publication date:  November  2010
Online publication date:  November  2010

Print ISBN: 9781420059779
eBook ISBN: 9781351249270
Adobe ISBN:


 Download Chapter



Formal methods involve the application of sound mathematical specification and reasoning techniques to the development of software systems. They can be applied across all phases of the engineering life cycle. This entry discusses their specific application to the programming phase, which can entail enrichment of executable code with mathematical artifacts (to support and improve our capabilities for reasoning), and the derivation of executable code from mathematical specifications. We provide an overview of some of the important approaches that can be applied to this phase.

Search for more...
Back to top

Use of cookies on this website

We are using cookies to provide statistics that help us give you the best experience of our site. You can find out more in our Privacy Policy. By continuing to use the site you are agreeing to our use of cookies.