Теоретико-категорный подход к проектированию программных систем

Работа посвящена применению теории категорий для решения проблемы представления разнородных технологий программной инженерии в единой форме, удобной для их интеграции и координации в рамках общего цикла проектирования программных систем. Особое внимание уделяется современным технологиям, таким, как разработка, управляемая моделями, и аспектно-ориентированное программирование. Построены универсальные теоретико-категорные семантические модели этих технологий. Предложен новый способ разделения ответственности путём экспликации аспектной структуры формальных моделей программ. Построены и исследованы формальные технологии проектирования технологий, образующие математический фундамент разработки, управляемой моделями.