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, john@nmt.edu
Last updated: 2003/02/05 21:21:47
URL: http://www.nmt.edu/~shipman/soft/clean/objects.html