Разработка логических исчислений, описывающих поведение информационных систем
Руководитель проекта: Б.С.Байжанов
Исполнители проекта: В.В.Вербовский
Организация: Ин-т пробл. информат. и упр.
Инвентарный номер: 0210РК01039
Регистрационный номер: 0109РК00718
Ключевые слова: Логические исчисления, Языки спецификаций,
Построены категории и функторы для описания диаграмм классов, компонентов, развертывания, объектов, пакетов, деятельности в целях формализации фрагментов унифицированного языка моделирования.