SWE 619 Quiz Guide 2
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.