Objectory -- systematic process
- requirements
-- use cases, domain object model, user interface
- analysis
-- subsystems
- design, implementation
-- block model, interaction diagrams
OMT -- few rules for discovering inconsistencies
- analysis
-- object model, dynamic model, functional model
- design, implementation
-- heuristics to implement analysis models
Booch -- descriptive
- diagrams
-- class, object, timing, state, module, process
CRC -- exploratory
- analysis, design
-- class, responsibilities, collaborators
Formal methods
- operations
-- pre- and post-conditions
slide: Comparison of methods (1)