Диаграммы классов ООП: формализация и анализ

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

Full description

Saved in:
Bibliographic Details
Published in:Труды Института прикладной математики и механики
Date:2013
Main Authors: Буй, Д.Б., Компан, С.В.
Format: Article
Language:Russian
Published: Інститут прикладної математики і механіки НАН України 2013
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/124179
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Диаграммы классов ООП: формализация и анализ / Д.Б. Буй, С.В. Компан // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2013. — Т. 27. — С. 51-65. — Бібліогр.: 40 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine