December 1, 1997 12:00 AM EST
Any software system, whether object-oriented or not, relies on the state of
the system being "correct" at certain stages of its execution. To take a very
simple example, when a numerical division operation is performed, the divisor
must be non-zero. If this is not the case, the s... (more)