/ 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.
- My favorite language,
has an excellent object model, so it is used in the examples
in this section.
is not an o-o language per se, I find that the important
part of o-o---encapsulation of an abstract data type---is easy
and natural with the addition of a few loose conventions:
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
John W. Shipman,
Last updated: 2003/02/05 21:21:47