\documentclass[a4paper,12pt]{article}

\usepackage[utf8x]{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}


