CSSE 373 -- Formal Methods in Specification and Design

                               Quiz 16



Name:_________________________________________    Grade:______________





This quiz is intentionally sparse so you have time to follow along in
Mobius without being distracted.  Feel free to use the extra space for
notes if that's helpful.





1. When do class invariants have to first be true for a given object?





2. After a class invariant is established, how long must it remain true?





3. What are the three basic steps for specifying a class?

	a)
	
	
	
	
	
	b)
	
	
	
	
	
	c)
	
	
	
	
	d) Profit