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)