Википедия
Термин «автоформализация» был предложен в начале 1980-х годов Г. Р. Громовым для разработанной им концепции — «Автоформализация профессиональных знаний».
Г. Р. Громов исходно использовал этот термин для описания особенностей творческой работы человека, использующего компьютер для формализации той части своих профессиональных знаний, которые до того не удавалось не только сформулировать, но порой даже и вербализовать.
Таким образом, определение Автоформализации может быть сформулировано следующим образом: «Автоформализация — процесс формализации профессиональных знаний, выполняемый носителем этих знаний с помощью компьютера».
Впервые термин был опубликован в главе «Технология автоформализации профессиональных знаний» книги «Национальные информационные ресурсы: проблемы промышленной эксплуатации».
Более подробно концепция обсуждалась затем в статье Г. Р. Громова «АВТОФОРМАЛИЗАЦИЯ ПРОФЕССИОНАЛЬНЫХ ЗНАНИЙ» в журнале «Микропроцессорные средства и системы».
Концепция "автоформализации профессиональных знаний" включена в курс изучения информатики ряда ведущих российских ВУЗов, в том числе Санкт-Петербургского государственного университета: "Опираясь на опыт преподавания в Московском авиационном институте, в Институте повышения квалификации ракетно-космической отрасли, на Базовой кафедре Московского института радиотехники, электроники и приборостроения, а также на опыт проведения НИР и ОКР по созданию крупномасштабных проектов , авторы полагают, что необходимым элементом фундаментального образования должно стать овладение методом автоформализации знаний."