CSSE 373 -- Formal Methods in Specification and Design

                               Quiz 21



Name:_________________________________________    Grade:______________


For each of the "Ten Commandments" of Formal Methods and briefly say how
it relates to the successful application of formal techniques.


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









(continued on back)




VI. Thou shalt document 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