name: Создание средств параметризации методов разработки и сопровождения для управления жизненным циклом программного обеспечения
keyword_list: параметризация средства разработки жизненный цикл верификация программ управление проектами
abstract: Цель работы заключается в разработке специального математического и программного обеспечения средств параметризации методов разработки и сопровождения для управления жизненным циклом программного обеспечения, повышающих стабильность их работы. 
  Задачи: - провести исследование существующих подходов к параметризации методов разработки и сопровождения для управления жизненным циклом программного обеспечения; - модифицировать операционную семантику процедуры объединения циклов, обеспечивающую темпоральную эквивалентность результата преобразования только до момента ее завершения и ускорение статической верификации частичной корректности; - разработать модель преобразования обращения цикла, основанную на методе «предположения и допущения», обеспечивающую преобразования одного цикла в другой на основании статистической информации; - разработать эвристическую модель иерархической структуры надежности программного обеспечения, улучшающую локализацию ошибок непосредственно в соответствующем модуле; - создать алгоритм распределения и прогнозирования изменений требований в жизненном цикле программного обеспечения, обеспечивающий улучшение количественного и нормативного представления для управления проектами разработки; - осуществить реализацию элементов программного обеспечения процесса человеко-машинного взаимодействия с системой управления жизненным циклом. 
  Основные результаты: 1. Проведено исследование существующих подходов к параметризации методов разработки и сопровождения для управления жизненным циклом программного обеспечения. 2. Создана операционная семантика процедуры объединения циклов, обеспечивающая темпоральную эквивалентность результата преобразования только до момента ее завершения и ускорение статической верификации частичной корректности. 3. Разработана модель преобразования обращения цикла, основанный на методе «предположения и допущения», обеспечивающая учет статистической информации. 4. Предложена эвристическая модель иерархической структуры надежности программного обеспечения, улучшающая локализацию ошибок непосредственно в соответствующем модуле. 5. Создан алгоритм распределения и прогнозирования изменений требований в жизненном цикле программного обеспечения, обеспечивающий улучшение количественного и нормативного представления для управления проектами разработки. 6. Предложена структурная модель взаимодействия элементов программного обеспечения процесса человеко-машинного взаимодействия с системой управления жизненным циклом, обеспечивающая управление количественным выходом улучшенных методов разработки программного обеспечения. 7. Элементы специального программного обеспечения зарегистрированы в реестре Федеральной службы по интеллектуальной собственности.
chairman_dissertation_council.name: Виктор
chairman_dissertation_council.surname: Бурковский
chairman_dissertation_council.patronymic: Леонидович
chairman_dissertation_council.position: заведующий кафедрой
chairman_dissertation_council.degree: Доктор технических наук
chairman_dissertation_council.rank: Профессор
chairman_dissertation_council.wos_research_id: 0
chairman_dissertation_council.scopus_author_id: 55904870200
chairman_dissertation_council.rinc_id: 105502
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Дмитрий
organization_supervisor.surname: Проскурин
organization_supervisor.patronymic: Константинович
organization_supervisor.position: Врио ректора
organization_supervisor.territory: РОССИЯ
rubrics.code: 50.05.13
rubrics.name: Технология программирования. Автоматизация программирования.
oecds.code: 02.02.AC
oecds.name: AUTOMATION & CONTROL SYSTEMS
speciality_codes.name: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
speciality_codes.code: 05.13.11
supervisors.fio: Чижов М.И.
supervisors.scientific_degree: Доктор технических наук
supervisors.speciality_code: Технология и оборудование механической и физико-технической обработки
supervisors.responsible_type: Научный руководитель
opponents.fio: Орлов С.П.
opponents.scientific_degree: Доктор технических наук
opponents.speciality_code: Информационно-измерительные и управляющие системы (по отраслям)
opponents.responsible_type: Оппонент
opponents.fio: Сапегин С.В.
opponents.scientific_degree: Кандидат технических наук
opponents.speciality_code: Системы автоматизации проектирования (по отраслям)
opponents.responsible_type: Оппонент
protection_organization.short_name: ФГБОУ ВО "ВОРОНЕЖСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ", ВОРОНЕЖСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ, ФГБОУ ВО "ВГТУ", ВГТУ
protection_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "ВОРОНЕЖСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ"
protection_organization.ogrn: 1033600070448
protection_organization.supervisor_name: СЕРГЕЙ
protection_organization.supervisor_surname: КОЛОДЯЖНЫЙ
protection_organization.supervisor_patronymic: АЛЕКСАНДРОВИЧ
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные бюджетные учреждения
author_organization.short_name: ФГБОУ ВО "ВОРОНЕЖСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ", ВОРОНЕЖСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ, ФГБОУ ВО "ВГТУ", ВГТУ
author_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "ВОРОНЕЖСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ"
author_organization.ogrn: 1033600070448
author_organization.supervisor_name: ДМИТРИЙ
author_organization.supervisor_surname: ПРОСКУРИН
author_organization.supervisor_patronymic: КОНСТАНТИНОВИЧ
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные бюджетные учреждения