Диаграммы классов ООП: формализация и анализ
Дан сравнительный анализ работ, посвящённых формальным моделям объектно-ориентированного программирования (ООП). Предмет исследования модель диаграммы классов (соответствующее частично упорядоченное множество). Модель класса (спецификации класса) пара функциональных бинарных отношений, одна компонен...
Gespeichert in:
| Veröffentlicht in: | Труды Института прикладной математики и механики |
|---|---|
| Datum: | 2013 |
| Hauptverfasser: | Буй, Д.Б., Компан, С.В. |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут прикладної математики і механіки НАН України
2013
|
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/124179 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Диаграммы классов ООП: формализация и анализ / Д.Б. Буй, С.В. Компан // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2013. — Т. 27. — С. 51-65. — Бібліогр.: 40 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
-
Формальная верификация диаграммы классов
von: Литвинов, В.В., et al.
Veröffentlicht: (2013) -
Об’єктно-орієнтована БД Neodatis: розгортання, програмування запитів, порівняння з реляційними базами даних
von: Буй, Д.Б., et al.
Veröffentlicht: (2010) -
Формализация: алгоритмический подход
von: Провотар, А.И.
Veröffentlicht: (2008) -
Формализация алгоритма классификации объектов
von: Мартынюк, Т.Б., et al.
Veröffentlicht: (2015) -
Формализация постановки многофакторного экспериментального исследования
von: Радченко, С.Г.
Veröffentlicht: (2011)