\documentclass[a4paper,12pt]{article} \usepackage[koi8-r]{inputenc} \usepackage[english,russian]{babel} \pagestyle{empty} \textwidth=16cm \textheight=25cm \topmargin=-10.4mm \begin{document} \large { \begin{center} Отзыв руководителя\\на магистерскую диссертацию студентки VI курса Математического факультета Петрозаводского Государственного Университета Тимошкиной Ульяны Петровны ``Трансформационный подход к разработке программного обеспечения на примере сетевой системы ДОКА для поддержки документации кафедры'' \end{center} } \normalsize В настоящее время технологии обработки структурированных документы все более широко используются при реализации программных проектов. Эти технологии основаны на идее применения хорошо развитых методов трансляции языков программирования к документам, содержащим, помимо данных, описание их структуры, которая удовлетворяет некоторой некоторой формальной грамматике. В диссертационной работе студентка сконцентрировались на подходе к разработке программных систем, которые предназначены для решения задач, допускающих представление алгоритма своего решения в виде последовательности трансформаций документов, что позволяет использовать как инструмент стабильные компиляторы компиляторов со всеми их преимуществами. Тема работы безусловно является актуальной, поскольку лежит в русле современного развития информационных технологий, прежде всего в рамках разрабатываемых консорциумом W3C стандартов семейства XML. В первой главе диссертации выполнен широкий обзор технологий структурированных документов, рассмотрены история, базовые положения и сферы приложения этого подхода. Вторая глава посвящена общей формулировке предлагаемого трансформационного подхода к разработке программного обеспечения, и свойствам применяемых инструментальных средств. В третьей главе автор приводит постановку задачи автоматизации обработки документов кафедры и форматы основных подлежащих обработке документов. Здесь же предлагается последовательность необходимых трансформаций документов. Четвертая глава содержит развернутое описание реализации системы ДОКА с изложением методов использования всех применяемых инструментов. Здесь же приводятся выводы, убедительно подтверждающее преимущества использования исследуемого в работе трансформационного подхода к разработке программных систем рассматриваемого в работе класса. В пятой главе приведен развернутый справочный материал по компиляторам компиляторов lex и yacc, содержащий материал который может быть полезен начинающим разработчикам и студентам. Автором выполнен большой объем работы по освоению используемых технологий, анализу литературных источников и программированию. Система ДОКА используется для распределения нагрузки кафедры Информатики и математического обеспечения ПетрГУ с 2001 г. Важно подчеркнуть, что студентке удалось убедительно продемонстрировать возможность расширения области применения компиляторов компиляторов (с присущими им высокой технологической скоростью и надежностью) на задачи обработки структурированных документов. Еще одним безусловным достоинством системы ДОКА является то, что как ее сетевые свойства, так и пользовательский интерфейс обеспечиваются единым стандартным свободно распространяемым стабильным инструментом --- парой Web--сервер --- Web--браузер. В качестве замечания необходимо отметить некоторые стилистические погрешности изложения, которые впрочем не влияют на окончательную оценку работы. Считаю, что магистерская диссертация У.~П.~Тимошкиной выполнена на современном уровне, полностью соответствует всем предъявляемым требованиям и заслуживает оценки ``отлично''. Прошу дать У.~П.~Тимошкиной рекомендацию для поступления на дневное отделение аспирантуры Математического факультета ПетрГУ. \vspace{3mm} \noindent 13 июня 2002 г.\vspace{3mm}\\Заведующий кафедрой Информатики\\и математического обеспечения\\Математического факультета ПетрГУ ,\\ к.т.н, доцент \hfill Ю.~А.~Богоявленский \end{document} \end{document}