Заключение организации, где выполнялась работа (1090640), страница 2
Текст из файла (страница 2)
— С. 95 — 101. — ?ББЫ 1993-8314. 9. Ковалйв А. В., Кейно П. П, Вычисление мощности множества регулярного выражения как критерия оптимальности в задачах динамической маршрутизации ЖеЬ- 3 адресов // Прикладная информатика. — М., 2016. — 4(64). — С. 90 — 96. — 188Ь( 1993- 8314. 10. Старчаус И. С., Кейно П. П., Хорошко Л. Л., Силуянов А. В. Метод анализа и оценки качества декларативного и императивного программирования динамических ч еЬ-приложений // Прикладная информатика, — М., 2016. — 6(66). — С. 84 — 92.
— 1881 1 1993-8314. В гнх налах сбо ннкахстатейи ив чныхт ов: 11. Бубнов А. В., Кейно П. П. Архитектура интерпретатора декларативного языка моделирования динамических веб-узлов по методологии В1осйбег // Современные информационные технологии и ИТ-образование [Электронный ресурс| / Сборник научных трудов Х Юбилейной международной научно-практической конференции / под ред, В. А. Сухомлина. — М.: ВМК-МГУ, 2015. — С. 173 — 180. — 18ВЬ1 978-5-9556-0179-3. 12. Кейно П. П.
Рипусойе: От цифры к слову // Доменные имена. — М., 2011.— №1. — С. 58 — 59. 13. Кейно П. П. Использование предметно-специфичных языков в азрокосмнческой отрасли // 15-я Международная конференция «Авиация и космонавтика — 2016». — М.: МАИ (НИУ), 2016. — С. 520 — 521. 14. Кейно П. П. Предпосылки формирования новой методологии разработки вебузлов В1оск бег и декларативного языка ВМ1, // Современные информационные технологии и ИТ-образование.
Т. 2. — М.: ВМК-МГУ„2015. — С. 78 — 84. 15. Кейно П. П. Проблемно-ориентированный декларативный язык разработки динамических ЖеЬ-узлов ВМ1. // Молодежь. Техника. Космос. — СПб.: ВОЕНМЕХ. Вестник БГТУ, 2016. — С. 45 — 46. 16. Кейно П.П., СилуяновА.В. Вычисление мощности множества регулярного выражения как критерия оптимальности выбора шаблона // ХЫ Гагаринские чтения. Т. 3. — М,: ИНФРА-М, 2015. — С. 88 — 90. 17. Кейно П.
П., Силуянов А. В. Использование структурного языка программирования для описания динамических %еЬ-страниц на стороне сервера // Х1. Гагаринские чтения. Т.5. — М.: МАТИ, 2014. — С. 227 — 229. 18. Кейно П. П., Силуянов А. В. Комплексные методы и средства автоматизации оценки качества программного кода на основе заданных грамматик различных парадигм программирования // Гагаринские чтения — 2017: ХЫ11 Международная молодйжная научная конференция. — М.: МАИ (НИУ), 2017. — С.
736, 19. Кейно П. П., Силуянов А. В. Основы построения высоконагруженных систем сети Интернет. Краткий обзор некоторых решений // ХХХ1Х Гагаринские чтения. Т. 5.— М.: МАТИ, 2013. — С. 144 — 146. 20. Кейно П. П., Силуянов А. В. Предпосылки формирования нового подхода к проектированию динамических ресурсов всемирной паутины // ХХХУ11 Гагаринские чтения. Т.
5. — М.: МАТИ, 2012. — С. 149 — 150. 21. Кейно П. П., Силуянов А. В. Сравнительный анализ технологий декларативной ЖеЬ-разработки на стороне сервера // Гагаринские чтения — 2016: ХЫ1 Международная молодежная научная конференция. Т. 1. — М.: МАИ (НИУ), 2016. — С. 59 — 61. 22. Ярмухаметов Ф. Ф., Кейно П. П. Практика использования веб-шаблонизаторов в программном комплексе интерпретатора на примере СТРР2 // Современные информационные технологии и ИТ-образование.
Т.2. — М.: ВМК-МГУ, 2015. — С. 117 — 120. 4 Свидетельство Роспатент 23. Свидетельство о государственной регистрации программы для ЭВМ. Визуальный редактор В1осЫЯе» »Текст) / П. П. Кейно (Российская Федерация). № 2014бб0878; заявл, 20.10.2014; опубл. 20.01.2015, приоритет 10.12.2014. Работы, опубликованные в журналах из перечня ВАК 11, 5, б, 7, 9, 101, написаны в соавторстве. л л«~~к*«и.п.
~ «ч р «ы~ «« ~«ю~~а в диссертации. Диссертант произ вйл анализ построения предметно-специфичных языков программирования, обозначил основные сущности проблемной области и предложил ее описание в виде декларативного языка ВМ1.. Кейно П. П. произвйл анализ разработанного языка в сравнении с другими технологиями по собственному разработанному методу.
В методике предложил гибкое разграничение прав доступа, интеллектуальный выбор приоритета срабатывания локации, алгоритм приама пользовательских данных, архитектуру программных комплексов. Проделанную работу Кейно П, П. завершил разработкой инструментальных средств: интерпретатора языка ВМЬ и визуального редактора по методике В1ос1»Бе», применив их на ряде проектов в сфере ЖеЪ-разработки, Диссертантом были проанализированы технологии, с помощью которых необходимо было выполнить программные средства.
Замечаний, препятствующих представлению диссертационной работы Кейно П.П. к защите в диссертационном совете, нет. Спе иальность кото ой соответств ет нсее та ия Кафедра «Системное моделирование и инженерны графика» ФГБОУ ВО «Московский авиационный институг (национальный исследовательский университет)» (МАИ) считает, что диссертация Кейно П.П. удовлетворяет требованиями Положения о присуждении ученых степеней, предъявляемым к кандидатским диссертациям, а ее автор заслуживает присуждения ученой степени кандидата технических наук за разработку новой методики создания динамических ЖеЬ-узлов и приложений и инструментальных средств на основе данной методики. Диссертация Кейно Павла Петровича «Методы и инструменты декларативного программирования динамических ЖеЬ-узлов и приложений» рекомендуетея к защите на соискание ученой степени кандидата технических наук по специальности 05.13.11— Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Заключение принято на заседании кафедры «Системное моделирование и инженерная графика». Результаты голосования: «з໠— 15 чел., «проти⻠— нет, «воздержалось» — нет. Протокол №3 заседания кафедры «Системное моделирование и инженерная графика» от "19" апреля 2017 года. ПОДОИ«Б' Зав.
кафедрой «Системное моделирование и инженерная графика», к.т.н., доцент (' Хо оьзко у!.Л ) .