Выписка из протокола заседания диссертационного совета (1149622)
Текст из файла
ВЫПИСКА 34.06-51-2-6 из протокола Ха 34.06-51-1-3 заседания диссертационного совета Д 212.232.51 на базе Санкт-Г1етербургского государственного университета от «01» марта 2018 года Подлинник протокола находится в делах диссертационного совета Санкт-Петербургского государственного университета Присутствовали: 14 (из 21) членов диссертационного совета: д. физ.-мат. наук, профессор Косовский Николай Кириллович, д.
физ.-мат. наук, доцент Тулупьев Александр Львович, д. физ.-мат. наук. профессор Демьянович Юрий Казимирович, д. физ.-мат. наук, профессор Андрианов Сергей Николаевич, д. физ.-мат. наук, профессор Бурова Ирина Герасимовна, д. физ.-мат. наук, профессор Веремей Евгений Игоревич, д. физ.-мат. наук. профессор Граничин Олег Николаевич, д. физ,-мат. наук, профессор Ермаков Сергей Михайлович, д. физ.-мат. наук.
доцент Косовская Татьяна Матвеевна, д. физ.-мат. наук. доцент Кривулин Николай Кимович, д. физ.-мат. наук, доцент Мартыненко Борис Константинович. д. физ.-мат. наук, профессор Новиков Борис Асенович, д. физ.-мат. наук, профессор Романовский Иосиф Владимирович, д. физ.- мат. наук, профессор Терехов Андрей Николаевич. СЛ'УШААЛ: Принятие к защите диссертации Луцива Дмитрия Вадимовича на тему: «Поиск неточных повторов в документации программного обеспечения», представленной к защите на соискание ученой степени кандидата физико-математических наук по специальности 05 13.11 — математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей, утверждение официальных оппонентов и ведущей организации.
ВЫСТУПИЛИ доктор физ.-мат. наук, профессор Демьянович Юрий Казимирович- председатель экспертной комиссии совета в составе доктора тех. наук профессора Лисса Александра Рудольфовича, доктора физ.-мат. наук профессора Терехова Андрея Николаевича, зачитал заключение комиссии о диссертации Луц ива Дмитрия Вадимовича на тему: «Поиск неточных повторов в документации программного обеспечения» по специальности 05.13.11 — математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей„выполненной в СанктПетербургском государственном университете. ПОСТАНОВИЛИ: 1.
Утвердить заключение комиссии диссертационного совета по решению вопроса о соответствии диссертации Луцива Дмитрия Вадимовича на тему: «Поиск неточных повторов в документации программного обеспечения» профилю диссертационного совета Д 212.232.51 и заявленной теме. Тема и содержание диссертации Луцива Дмитрия Вадимовича соответствует следующим пунктам паспорта специальности 05.13.11: пункт 1: модели, методы и алгоритмы проектирования и анализа программ и программных систем, их эквивалентных преобразований, верификации и тестирования: пункт 10: оценка качества, стандартизация и сопровождение программных систем.
2. Принять к сведению заключение комиссии диссертационного совета Д 212.232,5! о том, что: ° Обоснованность и достоверность полученных результатов диссертации подтверждается публикациями по материалам выполненных исследовательских работ (8 публикаций), включая 3 статьи из журналов, входящих в Перечень рецензируемых научных изданий, 3 статьи опубликованы в изданиях. индексируемых международными реферативными базами Всорпз и %еЬ о1 Яс1епсе. Все выносимые на защиту результаты в достаточной мере отражены в опубликованных работах. ° Практическая значимость результатов диссертационного исследования заключается в том, что предложенный в работе метод улучшения документации на основе неточных повторов, включающий реализацию созданных автором алгоритмов, реализован в рамках программного инструмента 13цр11саге Г1пдег и может быгь использован в конкретных инженерных разработках. ° Диссертация прошла проверку в системе В!ас1Ьоагб на предмет выявления объема текстовых совпадений между текстом диссертации и источниками, авторство которых установлено, для рассмотрения диссертации как оригинальной научно- квалификационной работы.
Процент совпадений составляет 5'Ъ. Таким образом. можно сделать вывод о том, что диссертационная работа Луцива Дмитрия Вадимовича может считаться полностью оригинальной авторской научной работой. ° В диссертации отсутствуют недостоверные сведения о работах„опубликованных соискателем. Таким образом, установлено, что диссертация Луцива Дмитрия Вадимовича соответствует критериям„которым должна отвечать диссертация на соискание ученой степени кандидата наук 1пп.9-11, 13,14 «Положения о присуждении ученых степеней»). 3.
Принять диссертацию Луцива Дмитрия Вадимовича к защите на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей 1отрасль физико-математические науки). 4. Назначить официальных оппонентов, компетентных в соответствующей отрасли науки ученых, имеющих публикации в областях программной инженерии, языков и методов разработки программ, а также разработки документации ПО, и давших на это свое согласие: 6. Предполагаемая дата защиты — 17 мая 2()18 года. 7.
Утвердить список организаций и лиц рассылки автореферата, 8. Разрешить опубликовать автореферат на правах рукописи. Решение диссертационного совета по данному вопросу принито единогласно. Председатель диссертационного совета Н.К. Косовский .=..-~Ж'-=- Ю.К. Демьянович Ученый секретарь диссертационного совета 5. Назначить в качестве ведущей организации широко известный своими достижениями в области программирования научно-исследовательский институт Федеральное государственное учреждение «Федеральный исследовательский центр Институт прикладной математики им.
М.В. Келдыша Российской академии наука. 125047, г. Москва, Миусская пл., д.4. ЗАКЛЮЧЕНИЕ экспертной комиссии диссертационного совета Д 212.232.5! по кандидатской диссертации Луцива Дмитрия Вадимовича на тему «Поиск неточных повторов в документации программного обеспечения» Комиссия диссертационного совета Д 212.232.51 на соискание ученой степени кандидата физико-математических наук в составе: председателя — доктора физико-математических наук, профессора Демьяновича Юрия Казимировича и членов комиссии: доктора технических наук, профессора Лисса Александра Рудольфовича, доктора физико-математических наук, профессора Терехова Андрея Николаевича. ознакомившись с кандидатской диссертацией Луцива Дмитрия Вадимовича и после состоявшегося обсуждения приняла следующее заключение.
Диссертация Луцива Дмитрия Вадимовича «Поиск неточных повторов в документации программного обеспечения» представлена на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 - — «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей». Тема диссертации соответствует следующим пунктам паспорта специальности 05.! 3.11: пункт 1, модели, методы и алгоритмы проектирования и анализа программ и программных систем, их эквивалентных преобразований, верификации и тестирования; пункт 10, оценка качества, стандартизация и сопровождение программных систем.
Таким образом, диссертационная работа Луцива Дмитрия Вадимовича соответствует специальности 05.13.11 — «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», по которой диссертационному совету Д 212.232.51 предоставлено право проведения защиты диссертаций, Данная диссертационная работа посвящена актуальной и малоисследованной на сегодняшний день теме — поиску и анализу неточных повторов в документации программного обеспечения (далее— ПО). Актуальность темы связана с проблемой разработки документации в программных проектах, известной на протяжении последних 50-ти лет, а также в связи с распространением техник повторного использования различных информационных активов ПО (кода, требований, тестов, моделей и пр.)„включая документацию.
Вместе с тем за последние 10 лет стали появляться работы по исследованию повторов в документации ПО, однако на сегодняшний день они не формируют область с ясно очерченными границами исследований: работы разных исследователей не цитируют друг друга, базовые понятия определяются по-разному, почти не предлагается специфичных методов поиска и анализа повторов (используются, фактически, без доработок существующие техники в смежных областях, например, поиск клонов в исходных кодах ПО). Наконец, тема неточных повторов лишь намечена как важная, но полностью не исследована на сегодняшний день.
Именно этот последний пробел, главным образом, и восполняет представленное в диссертационной работе Луцива Дмитрия Вадимовича научное исследование. Обоснованность и достоверность полученных результатов диссертации подтверждается публикациями по материалам выполненных исследовательских работ 18 публикаций), включая 3 статьи из журналов, входящих в Перечень рецензируемых научных изданий, 3 статьи опубликованы в изданиях.
индексируемых международными реферативными базами ссорив и %еЪ оГ Бс1епсе. Все выносимые на защиту результаты в достаточной мере отражены в опубликованных работах. Диссертация прошла проверку в системе В!ас1ЪоаЫ на предмет выявления объема текстовых совпадений между текстом диссертации и источниками, авторство которых установлено, для рассмотрения диссертации как оригинальной научно-квалификационной работы.
Процент совпадений составляет 5".о0, Таким образом, можно сделать вывод о том, что диссертационная работа Луцива Дмитрия Вадимовича может считаться полностью оригинальной авторской научной работой. В диссертации отсутствуют недостоверные сведения о работах, опубликованных соискателем. Практическая значимость результатов диссертационного исследования заключается в том, что предложенный в работе метод улучшения документации на основе неточных повторов, включающий реализацию созданных автором алгоритмов, реализован в рамках программного инструмента Рцр11са1е Г1пс1ег и может быть использован в конкретных инженерных разработках.
В работе Луцива Дмитрия Вадимовича представлены следующие результаты. 1. Предложена формальная модель неточных повторов в программной документации, разработан алгоритм поиска неточных повторов в документации ПО на основе компоновки точных повторов, найденных с помощью метода поиска точных клонов ПО.
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
