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