Процесс оригинальной формулировки вычислительной задачи для исполняемых компьютерных программ, таких как анализ, разработка, алгоритмы и проверка.