Этап проектирования программы, на котором смысловые формулировки в постановке задачи заменяются краткими обозначениями: поиск идеи решения, построение алгоритма решения, разработка контрольного примера, формализация постановки задачи