Методы контроля структуры

статический контроль,

смежный контроль,

сквозной контроль.

Проектирование модулей (структурныйподход)

Диаграммы "сущность-связь".

Структурныекарты.

Диаграммыдеятельности.

Диаграммы Варнье-Орра.

Диаграммы переходов состояний.

Блок-схемы.

Псевдокод.