Next / Previous / Shipman's Home Sweet Homepage / Site map

Using the Cleanroom methodology with objects

Thanks to an excellent course in object-oriented program I took from Dr. Jeff Putnam at New Mexico Tech in the fall of 1995, when I look at a problem now, I tend to divide it into objects.

In general, o-o design is quite amenable to the Cleanroom methodology. See `Cleanroom verification of objects'.

See also: Overview of the Cleanroom software methodology
Previous: Using trace tables for verification
Site map
John W. Shipman,
Last updated: 2003/02/05 21:21:47