CSSE 373 -- Formal Methods in Specification and Design

                                Quiz 2



Name:_________________________________________    Grade:______________




1. What is a formal method?





2. When are formal methods useful?






3. Why does Jackson think it is important to find and correct flaws at
   the design stage of software development?

















4. Jackson discounts Extreme Programming as a means of discovering the
   right abstraction for a program.
   
   a) What is his argument?
   
   
   
   
   
   b) Do you agree?  Are there cases where he's right or wrong about this?
   
   
   
   
   
   


(continued on back)   
   






5. State one of the common fallacies about software, and then explain
   why it is not true.