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)