ОБЪЯВЛЕНИЕ О ЗАЩИТЕ ДИССЕРТАЦИИ
Соискатель: Ермаков Антон Дмитриевич

Шифр совета:Д 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 г.
   

  Сведения о результатах защиты диссертации
    Материалов нет