By Topic

Ten commandments of formal methods... ten years later

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Bowen, J.P. ; London South Bank University ; Hinchey, M.G.

More than a decade ago, in "Ten Commandments of Formal Methods", we offered practical guidelines for projects that sought to use formal methods. Over the years, the article, which was based on our knowledge of successful industrial projects, has been widely cited and has generated much positive feedback. However, despite this apparent enthusiasm, formal methods use has not greatly increased, and some of the same attitudes about the infeasibility of adopting them persist. How have the formal methods commandments fared over the past decade? Are they still valid in the current industrial setting, and have attitudes toward formal methods improved? The authors revisit their 10 maxims to answer these questions. The commandments are as follows: (i) thou shalt use an appropriate notation, (ii) thou shalt formalize but not overformalize, (iii) thou shalt estimate costs, (iv) thou shalt have a formal methods guru on call, (v) thou shalt not abandon thy traditional development methods, (vi) thou shalt documents sufficiently, (vii) thou shalt not compromise thy quality standards, (viii) thou shalt not be dogmatic, (ix) thou shalt test, test, and test again, (x) thou shalt reuse.

Published in:

Computer  (Volume:39 ,  Issue: 1 )