Буй, Д.Б.; Компан, С.В.
(Труды Института прикладной математики и механики, 2013)
Дан сравнительный анализ работ, посвящённых формальным моделям объектно-ориентированного программирования (ООП). Предмет исследования модель диаграммы классов (соответствующее частично упорядоченное множество). Модель ...