Hierarchiczna dekompozycja logiczna (funkcjonalna) - z wykorzystaniem diagramów przepływu danych (DFD - Data Flow Diagrams) i sterowania;
Uzupełnienie o logiczną reprezentację danych (ERD - Entity Relationship Diagrams)
Oraz model zależności czasowych (STD -State Transition Diagrams; starsze: ELH -Entity Life History).