CSSE 373 -- Formal Methods in Specification and Design

                               Quiz 22



Name:_________________________________________    Grade:______________


1. Michael Holloway of NASA wrote, "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."

    a) What parts (if any) of this statement do you agree with, and why?
    
    
    
    
    
    
    
    
    
    b) What parts (if any) of this statement do you disagree with, and why?
    
    
    
    
    
    
    
    
    
2. What did the Rockwell Collins/U of Minn. team use the Lustre language
   for?





3. What are two characteristics of the case studies addressed by Miller,
   et al, that made formal methods a good fit?


    *
    
    
    
    *
    
    
    
4. Praxis's use of Z for modeling the system requirements is similar to
   what tool we used this term?
   
   
   
5. Praxis's use of Spark-Ada for writing formal specifications and
   executable code, then checking them against each other, is similar to
   what tool we used this term?