Аппарат теории категорий применяется для представления разнородных технологий программной инженерии в единой форме, удобной для их интеграции в рамках общего цикла разработки программных систем. Особое внимание уделяется современным технологиям метапрограммирования, таким как разработка, управляемая моделями (model-driven engineering), и аспектно-ориентированное программирование (aspect-oriented programming). Построены теоретико-категорные семантические модели этих технологий. Приведены примеры приложений разработанного аппарата в практике создания программного обеспечения автоматизированных систем управления. Издание предназначено для научных сотрудников, студентов и аспирантов соответствующих специальностей.