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