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.)
- process abstractions (or procedure abstractions)
- data abstractions
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)