Отзыв второго оппонента (1090642)
Текст из файла
ОТЗЫВ официального оппонента по диссертационной работе Кейно Павла Петровича «Методы и инструменты декларативного программирования динамических ЖеЬ-узлов и приложений», представленной на соискание ученой степени кандидата технических наук по специальности 05.13.11 — «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей» Оценка актуальности темы диссертации. Масштабы современных информационных систем постоянно растут, и как следствие, увеличивается объем программного кода для их реализации.
Для разработки крупных систем небольшими группами разработчиков и в кратчайшие сроки применяются узконаправленные решения в виде библиотек, инструментальных средств и языков программирования. Сегодня существует большое количество языков и решений для ЖеЬ, однако отсутствует предметно-ориентированный язык.
Соискатель в диссертационной работе разработал новый предметно-ориентированный язык, который ориентирован на ЖеЬ-разработку, и инструментальные средства для него. Но только при доказательстве удобства и эффективности такого языка по сравнению с существующими решениями под %еЬ, разработка предметно-ориентированного языка является актуальным, потому что он позволит автоматизировать сам процесс разработки. Оценка научной новизны диссертационного исследования. Основная новизна и теоретическая значимость диссертационной работы состоит разработанном декларативном предметно-ориентированным языке программирования %еЬ-узлов и приложений, который позволяет автоматизировать процесс разработки. Для разработки данного языка были разработана сама методика декларативного программирования динамических ФеЬ-узлов и приложений, а также методы манипулирования данными этим языком.
Для апробации полученного языка была разработана методика анализа декларативных и императивных языков на основе метрик Холстеда, отличающихся мультипарадигменностью. Обоснованность и достоверность полученных результатов Диссертационная работа отличается четкой аргументацией, обоснованностью положений и выводов, логичностью изложения материала.
Диссертант изучил и проанализировал научные разработки отечественных и зарубежных ученых по исследуемой проблеме, дал ссылки на них при рассмотрении в работе научных положений. Данная преемственность с апробированными теоретико-практическими подходами подтверждает достоверность полученных результатов. Разработанный в третьей главе «Разработка методы комплексной оценки инструментов императивной и декларативной разработки динамических ЖеЬ-узлов» метод анализа декларативных и императивных языков на основе метрик Холстеда, отличающихся мультипарадигменностью и, приведенный этим методом, сравнительный анализ с языком РНР подтверждает обоснованность и практическую ценность разработанного языка. Проведенные в четвертой главе «Разработка программного комплекса интерпретатора языка ВМЬ и визуального редактора В1осЕБе1» результаты по производительности подтверждают эффективность предложенных решений диссертационной работы.
Достоверность и обоснованность подтверждается апробацией и обсуждением результатов работы на научных конференциях, рецензированием и предварительной экспертизой научных статей. Но на данный момент у соискателя по данной теме диссертационной работы отсутствуют публикации в зарубежных журналах. Практическое значение диссертационного исследования Теоретические исследования в диссертации доведены до уровня интерпретатора языка ВМЬ и инструментальных средств, позволяющих автоматизировать процесс разработки. Результаты диссертационной работы внедрены в проектах ЗАО ИЦ «Луч», что подтверждается приложенным в диссертационную работу актом о внедрении.
Выводы и предложения автора носят конкретный характер и могут быть использованы в практике работы научно-исследовательских и проектных организаций. Недостатки диссертационного исследования Ь Некорректно сформулированная цель диссертационной работы, потому что основной целью из диссертационной работы является не просто разработка инструментария, а, скорее всего, автоматизация процесса разработки, обеспечение низкого порога вхождения, быстрого процесса разработки с минимизацией рутинных задач. 2.
В диссертационной работе не описывается жизненный цикл разработки программного обеспечения с учетом разработанных инструментариев, не описывается взаимосвязь с другими САЯЕ-средствами, нет рекомендаций и практик на организацию процесса разработки. 3. Сравнительный анализ осуществляется только с одним языком программирования РНР. При этом не указывалось использование каких- нибудь других библиотек и технологий с РНР и не проводилось сравнения с языками совместно с другими технологиями, ориентированные на такие же задачи, что и разработанный язык ВМЬ. 4.
Все-таки нельзя сказать, что в диссертации разработан метод разграничения прав доступа, а применены общепринятые методы авторизации и дискретного разграничения прав к объектам и субъектам, разработанного языка ВМЬ. Однако данные недостатки не умаляют достоинства рецензируемой работы, а в большей степени являются недоработками., которые могут быть устранены в дальнейшей научной и практической работе соискателя. Заключение о соответствии диссертации критериям, установленным Положением о порядке присуждения ученых степеней. Диссертация Кейно Павла Петровича является завершенной научноисследовательской работой.
Предложенные методы и алгоритмы в диссертационной работе способствуют автоматизации разработки приложений. Основные выводы и предложения диссертационного исследования доведены до конкретных разработок. Основные положения, полученные выводы и результаты диссертационной работы в достаточной мере получили отражение в опубликованных научных работах, в том числе в 10-ти работах, опубликованных в ведущих рецензируемых изданиях, рекомендованных ВАК, а также апробированы на научно-технических конференциях.
На визуальный редактор, являющийся дополнением интерпретатора ВМЬ, имеется свидетельство о государственной регистрации программы для ЭВМ. Диссертация в полном объеме описывает предлагаемый автором язык ВМЬ и методы декларативного программирования динамических ЖеЬ-узлов и методы манипулирования данными этим языком. Она логически структурирована, введение, содержание глав и заключение дают полное описание проделанной работы.
Автореферат соответствует основному содержанию диссертации. По содержанию, глубине разработки основных проблем исследования, научной аргументации выводов, практической разработки диссертационная работа соответствует требованиям, предъявляемым к диссертационным работам на соискание ученой степени кандидата технических наук. В диссертационной работе изложены новые научно обоснованные решения и разработки по повышению эффективности вычислительных компьютерных систем, которые имеют важное значение для современных информационных технологий, в силу чего работа отвечает требованиям п. 9 «Положения о порядке присуждения ученых степеней». На основании вышеизложенного Кейно Павел Петрович заслуживает присуждения ученой степени кандидата технических наук по специальности 05.13.11 — «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».
Официальный оппонент к.т.н. Олег Игоревич Лукьянчиков 141006, РФ, Московская область, город Мытищи, Олимпийский проспект, дом 50, Тел.: +7-910-412-57-18, е-та11: 1пй1б®уапс1ех.ги, ЗАО «Инженерный центр «ГЕОМИР», научный сотрудник Заверяюэа'" дК~~ЙЮ '~~~~ Дзнил~ .
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.