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