The DisCo Methodology Developing a specification in DisCo is an incremental process. One starts with very simple behavior, and gradually adds details until the specification is at the desired level.
Development focuses on collective behavior , that is, how objects co-operate.
Developing a DisCo specification can be compared to carving a shape out of a block of wood. The original block of wood represents all the possible behaviors, and removing a piece of wood corresponds to a design step that disallows some of the behaviors. In early stages of the process we get a rough sketch, in which details are then gradually added. DisCo employs the closed world principle, meaning that a DisCo specification always describes a system together with its environment. The model of the environment may be highly nondeterministic, however.