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, Python, has an excellent object model, so it is used in the examples in this section.
• Although Icon 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:
  • An object protocol for the Icon language
  • Parts of an Icon object
  • Naming conventions for Icon objects
  • An example of a Cleanroom object

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

Last updated: 2003/02/05 21:21:47
URL: http://www.nmt.edu/~shipman/soft/clean/objects.html