- The Fusion method is typically a second-generation
development method, containing ingredients of many other
In comparison with other methods,
it strongly focuses upon process aspects.
See section [Compare].
- According to Booch, (1) identify the objects and their attributes,
(2) identify the operations associated with objects, and (3)
establish the interfaces of object.
Most of the heuristics for identifying objects are based on a
linguistic analysis of the requirements
- Criteria to eliminate spurious classes
essentially come down to avoiding classes
that provide no information.
- The CRC method consists of defining,
for each class,
its responsibilities and its collaborators,
that is the classes that are needed
to function properly.
- A contract defines the behavior of
an object by means of an invariant
and assertions characterizing
the pre- and post-conditions of the methods
supported by an object.
- Contracts may help to decide
who is responsible for software failures.
- Refining a contract amounts
to strengthening the invariant
and, for each method,
weakening the pre-conditions
and strengthening the post-conditions.
Also, methods may be added.
- Contracts may be used to establish
runtime consistency characteristics.
Testing runtime consistency
amounts to checking object
invariants and pre- and post-conditions
of object methods.
- A formal specification must characterize
the requirements of a system and must also
provide guidelines for its validation.
Contracts may be used to specify
invariant consistency properties
that may be tested at runtime.