ОБЪЯВЛЕНИЕ О ЗАЩИТЕ ДИССЕРТАЦИИ
Соискатель:
Ермаков Антон Дмитриевич
Шифр совета:
Д 212.267.12
Вид диссертации:
кандидатская
Тема диссертации
:
Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации
Специальность:
05.13.01 - Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) по техническим наукам
Работа выполнена в Национальном исследовательском Томском государственном университете
Научный руководитель:
д-р техн. наук, профессор Евтушенко Нина Владимировна
Дата защиты:
05/31/2017 г.
Место защиты:
г. Томск, пр. Ленина, 36, учебный корпус № 2 ТГУ, аудитория 212 Б
Официальный оппонент:
д-р техн. наук, профессор Шалыто Анатолий Абрамович
заведующий кафедрой технологий программирования, Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, г. Санкт-Петербург
Официальный оппонент:
канд. техн. наук Медведев Юрий Геннадьевич
старший научный сотрудник лаборатории синтеза параллельных программ, Институт вычислительной математики и математической геофизики Сибирского отделения Российской академии наук, г. Новосибирск
Ведущая организация:
Санкт-Петербургский институт информатики и автоматизации Российской академии наук, г. Санкт-Петербург
Диссертация
Открыть
, размещено 26.01.2017 г.
Сведения о научном руководителе (руководителях)
Открыть
, размещено 23.03.2017 г.
Отзыв научного руководителя (руководителей)
Открыть
, размещено 23.03.2017 г.
Решение о принятии к защите
Открыть
, размещено 22.03.2017 г.
Автореферат
Открыть
, размещено 23.03.2017 г.
Сведения об официальных оппонентах,
согласия на назначение
Открыть
, размещено 23.03.2017 г.
Открыть
, размещено 23.03.2017 г.
Отзывы официальных оппонентов
Открыть
, размещено 15.05.2017 г.
Открыть
, размещено 16.05.2017 г.
Сведения о ведущей организации,
согласие на назначение
Открыть
, размещено 23.03.2017 г.
Отзыв ведущей организации
Открыть
, размещено 18.05.2017 г.
Отзывы на автореферат
Открыть
, размещено 15.05.2017 г.
Открыть
, размещено 23.05.2017 г.
Открыть
, размещено 23.05.2017 г.
Открыть
, размещено 29.05.2017 г.
Открыть
, размещено 30.05.2017 г.
Открыть
, размещено 30.05.2017 г.
Сведения о результатах защиты диссертации
Открыть
, размещено 14.06.2017 г.