Разработанная М. Джексоном методика включает нисходящее проектирование, структурное программирование и структурный контрольный анализ. В соответствии с этой методикой строятся иерархически структурированные программы, имеющие четыре компонента, подобные структурам управления в структурном программировании.
Элемент. Функция, которая не может быть разбита на более простые функции.
Последовательность. Ряд функций, реализуемых последовательно и однократно.
Выборка. Одна из возможных последовательностей.
Итерация. Функция, выполняемая заданное число раз, включая нулевое.
Базовая идея метода состоит в том, что структура системы должна быть идентична структуре используемых данных. Следовательно, древовидная схема организации системы должна отражать структуру данных: в противном случае проект будет неправильным.