SWE 619 Quiz Guide 2
Spring 2013


Quiz 2 will focus on Liskov, Chapters 2-4 and Bloch 9. You should also be able to write Requires, Effects, and Modifies specifications for simple procedures. You should be able to transform a procedure that has a Requires clause into one that uses exception handling instead. You should understand reflection vs. masking. You should understand the "standard" exceptions listed by Bloch. You should understand failure atomicity.