Assertions have been in the software engineering canon for many years, most notably as the centerpiece of the Design by Contract facility that Bertrand Meyer built into his Eiffel programming language ...

Part 1 of this two-part series covered the mechanics of using the new assertion facility introduced in J2SE, (Java 2 Platform, Standard Edition) 1.4. This installment discusses the methodology behind ...