Object Oriented Software Engineering and Cleanroom

In Cleanroom the "usage" of objects is key.

Every object has a specification that begins with a black-box view (a behavior abstraction.)

Black-box contains:


An Encapsulated Object is not like a process, it contains data or "state" history of the object. This makes a specification function difficult, but may be treated as a "stimulus history" (like adding items to a database)