Выписка из протокола заседания диссертационного совета (1149622), страница 2

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 2)

Доказана корректность алгоритма. 2, Создана методика интерактивного поиска неточных повторов, позволяющая учитывать заданную экспертом семантику повторов. Создан алгоритм поиска по образцу, доказана полнота данного алгоритма, 3. Создан метод улучшения документации на основе неточных повторов, включая автоматизированный рефакторинг документации в формате РосВоок. Все полученные результаты являются новыми, подтверждены формальными доказательствами и инженерными экспериментами и являются достоверными. Комиссия считает, что диссертация Луцива Дмитрия Вадимовича соответствует критериям, которым должна отвечать диссертация на соискание ученой степени кандидата наук 1пп.9-11, 13,!4 «Положения о присуждении ученых степеней»).

Комиссия рекомендует принять к защите на диссертационном совете Д 212.232.51 кандидатскую диссертацию Луцива Дмитрия Вадимовича на тему «Поиск неточных повторов в документации программного обеспечения» по специальности 05.13.11— «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей». Комиссия рекомендует утвердить официальными оппонентами следующих компетентных в соответствующей отрасли науки ученых, имеюших публикации в областях программной инженерии, языков и методов разработки программ, а также разработки документации ПО: 1.

Доктора технических наук, профессора, профессора кафедры вычислительной техники Федерального государственного автономного образовательного учреждения высшего образования «Санкт-Петербургский государственный электротехнический университет "ЛЭТИТ' им. В.И. Ульянова (Ленина)» Водяхо Александра Ивановича.

2. Кандидата технических наук, доцента высшей школы программной инженерии Федерального государственного автономного образовательного учреждения высшего образования «Санкт-Петербургский политехнический университет имени Петра Великого» Дробинцева Павла Дмитриевича. Комиссия рекомендует утвердить в качестве ведущей организации научно-исследовательский институт Федеральное государственное учреждение «Федеральный исследовательский центр Институт прикладной математики им. М.В. Келдыша Российской академии наук», который широко известен своими достижениями в области программирования, и специалисты которого способны определить научную ценность данной диссертационной работы.

Председатель комиссии:, " '~/~~-."Демьянович Юрий Казимирович ~ ~~ т~.,ф' Члены комиссии: Лисс Александр Рудольфович у ~ . Терехов Андрей Николаевич ,.7 «4» февраля 2018 г. .

Характеристики

Список файлов диссертации