Отзыв на автореферат (1149631)
Текст из файла
Отзыв на автореферат диссертации Луцива Дмитрия Вадимовича «Поиск неточных повторов в документации программного обеспечения», представленной на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 — Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей К.В. Вяткина ,Ф Доцент кафедры математических и информационных технологий Санкт-Петербургского национального исследовательского Академического университета Российской академии наук, кандидат физико-математических наук Тел.: (812) 448-69-80 Е-та!1. ууагЫпафзрЬапц.гп -Я'~ .. 17 апреля 20! 8 г, Важнейшей составляющей процесса разработки программного обеспечения (ПО) является подготовка и сопровождение документации, описывающей его функциональность и структуру, необходимой как пользователю, так и программисту.
Диссертационная работа Д. В. Луцива посвящена разработке методов стандартизации документации ПО и унификации ее фрагментов, относящихся к однотипным компонентам или свойствам соответствующего программного продукта или различных его версий. В основе предложенных подходов лежит концепция неточных повторов, под которыми понимаются незначительно отличающиеся друг от друга фрагменты текста. Автором введена в рассмотрение принципиально новая модель неточных повторов, разработан метод поиска неточных повторов, использующий в качестве входных данных множества точных повторов, которые могут быть сформированы при помощи сторонних алгоритмов, описана методика интерактивного поиска неточных повторов, и изложен метод улучшения документации ПО за счет редактирования найденных неточных повторов. Формальные свойства предложенных алгоритмов (такие как корректность и полнота), сформулированные в работе, сопровождаются строгим математическим обоснованием.
Все разработанные методы были реализованы на языке Ру1Ьоп в программном продукте Рпр!1са1е Р1пйег с открытым кодом и протестированы на документации реально существующего ПО. В автореферате приведены основные понятия, используемые в диссертации, кратко описаны разработанные методы н основные их свойства, и четко сформулированы положения, выносимые на защиту.
В то же время, имеющихся в тексте пояснений порой недостает для полного понимания деталей алгоритмов; прежде всего, это относится к многочисленным функциям, присутствующим в листингах 1 и 2. Также неясен смысл выражения из правой части условия, определяющего критерий полноты алгоритма поиска по образцу (стр. 12). Результаты работы были представлены на международных конференциях и опубликованы в изданиях, нндексируемых в системах научного цитирования %еЬ оГ 8с(епсе и Ясорпз, и журналах из перечня ВАК. В целом диссертационная работа Луцива Дмитрия Вадимовича «Поиск неточных повторов в документации программного обеспечения» является законченным научным исследованием и отвечает требованиям и.
9 «Положения о присуждении ученых степеней» Постановления Правительства РФ № 842 от 24 сентября 2013 г. (ред. от 2 августа 2016 г.), а ее автор Д. В. Луцив заслуживает присуждения ученой степени кандидата физикоматематических наук по специальности 05.13,11 — математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. .
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.














