Отзыв первого оппонента (1090651), страница 2
Текст из файла (страница 2)
3. Для улучшения восприятия текста диссертационной работы (в частности, главы 2 и раздела 4.5) не хватает примера иллюстрированной пошаговой реализации типового проекта с помощью полученного инструментария. Вынесенные автором «рецепты», приведенные в приложении В, не обладают достаточным уровнем наглядности.
4. Исследование, проведенное в главе 3 при сравнении языков РНР и ВМ1, не дает полной картины, отражающей явные преимущества разработанного языка, поскольку, как отметил автор, языки РНР и ВМ1 находятся на разных уровнях абстракции. Целесообразнее было бы сравнить ВМ1 с существующими фреймворками, расположенными на том же уровне абстракции. В целом, ука.занные замечания носят рекомендательный характер и ни в косм случае не умаляют ценность проведенного исследования, и также не влияют на общую положительную оценку работы. и практическую значимость полученных результатов считаю, что представленная диссертационная работа удовлетворяет всем требованиям «Положения о присуждении ученых степеней», а ее автор — Кейно Павел Петрович — заслу>кивает присуждения ученой степени кандидата технических наук по специальности 05.13.11 — Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Официальный оппонент: заведующий кафедрой системного программирования СПбГУ доктор физ-мат наук, профессор Терехов А.Н. 2 июня 2017 г. Сведения о составителе отзыва: Ученая степень; доктор физико-математических наук Ученое звание: профессор Место работы: Федеральное государственное бюджетное образовательное учреждение высшего образования «Санкт-Петербургский государственный университет» Должность: заведующий кафедрой системного программирования Почтовый адрес: 198504. Россия, Санкт-Петербург, Старый Петергоф, Университетский проспекг, дом 28 Телефон: «7 (812) 428-71-09 Ениай: а 1егеИ>от®яр1>н.гы Заключение Представленная диссертационная работа, несмотря на отмеченные недостатки, выполнена на высоком научно-техническом уровне и представляет собой законченную научно-квалификационную работу, выполненную на актуальную тему, связанную как с выстраиванием новой методики декларативного программирования %еЬ-приво>кений, так и с разработкой программного комплекса, реализующего принципы полученной методики.
Результаты диссертационной работы, выносимые на защиту, прошли высокую степень апробации на 23 публикациях, включая 10 в рецензируемых научных журналах, рекомендованных ВАК. По результатам работы получено 1 свидетельство о регистрации программы для ЭВМ, Автореферат полностью отражает содержание диссертации. Учитывая актуальность выполненных исследований, научную новизну .