Clifton Curt Rose-Hulman Institute of Technology
State of the Practice of Formal Methods
Ten Commandments
"Ten Commandments of Formal Methods... Ten Years later", IEEE Computer, 2006. Jonathan P. Bowen London South Bank University Michael G. Hinchley NASA Software Engineering Laboratory
Software engineers want to be real engineers. Real engineers use mathematics. Formal methods are the mathematics of software engineering. Therefore, software engineers should use formal methods. Mike Holloway, you NASA
Do agree? Why or why not?
I. Thou shalt choose 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
Cartoon of the Day
VI. Thou shalt document sufficiently
VII. Thou shalt not compromise thy quality standards
VIII. Thou shalt not be dogmatic
or else?
IX. Thou shalt test, test, and test again
X. Thou shalt reuse