Информатика, вычислительная техника и управление. Диссертация Математическое моделирование верификации процесса разработки программного обеспечения : диссертация ... кандидата технических наук : 05.13.18, Тюмень, 2009