Cover Image

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

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

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

Similar Items

Формальная верификация диаграммы классов
by: Литвинов, В.В., et al.
Published: (2013)

Об’єктно-орієнтована БД Neodatis: розгортання, програмування запитів, порівняння з реляційними базами даних
by: Буй, Д.Б., et al.
Published: (2010)

Формализация алгоритма классификации объектов
by: Мартынюк, Т.Б., et al.
Published: (2015)

Формализация постановки многофакторного экспериментального исследования
by: Радченко, С.Г.
Published: (2011)

Формализация социологических теорий: необходимость и возможности применения
by: Теличко, Т.
Published: (2010)

Формализация задачи комплектования и эволюционные аспекты ее решения
by: Кучер, П., et al.
Published: (2009)

n- исчисление – реалистичная формализация класса переписывающих систем
by: Шевченко, Р.С., et al.
Published: (2011)

Деформационная структура металлов и диаграммы ИДТ
by: Моисеев, В.Ф., et al.
Published: (2001)

Формализация согласования экспертных оценок при реализации метода Делфи
by: Панкратова, Н.Д., et al.
Published: (2012)

Универсальность синергетических законов. V. Диаграммы напряжение–деформация
by: Терехов, С.В., et al.
Published: (2014)

Формализация списков в метаязыке нормальных форм знаний
by: Кургаев, А.Ф.
Published: (2017)

Формализация автоматизированного решения синтезированных задач гибких тренажеров
by: Верещагин, И.И.
Published: (2005)

Диаграммы огнезащитной способности материалов покрытий на металлических конструкциях
by: Цвиркун, С.В.
Published: (2006)

Формализация оценки достаточного уровня декомпозиции модели предметной области
by: Любченко, В.В.
Published: (2010)

Формализация взаимосвязей операторов и данных в рамках расширенной алгебры алгоритмов
by: Акуловский, В.Г.
Published: (2008)

Проблема предсказания структуры протеина: формализация с использованием кватернионов
by: Гуляницкий, Л.Ф., et al.
Published: (2013)

Определение эффективных температур гигантов и сверхгигантов классов G и К по наблюдаемым фотометрическим индексам
by: Любимков, Л.С., et al.
Published: (2014)

Формализация проблемы оптимального управления большими системами в критических режимах
by: Рудакова, А.В.
Published: (2014)

Алгебраические кривые и бифуркационные диаграммы двух интегрируемых задач
by: Рябов, П.Е.
Published: (2007)

Формализация описания структур разрядных цепей высоковольтных импульсных испытательных устройств
by: Петков, А.А.
Published: (2007)

Формализация нематериальных активов ЗАО "НКМЗ" в рамках сбалансированной системы показателей
by: Суков, Г.С., et al.
Published: (2007)

Фазовые диаграммы бинарных систем каприлатов цинка, кадмия и свинца
by: Мирная, Т.А., et al.
Published: (2013)

Формализация правил МППСС-72 в системе поддержки принятия решений судоводителя
by: Бень, А.П.
Published: (2011)

Влияние водородных связей на диаграммы состояния криопротекторных растворов
by: Севастьянов, С.С., et al.
Published: (2015)

Формализация процесса согласования целей в иерархических производственных системах с учетом факторов риска
by: Кармазин, В.Я., et al.
Published: (2005)

Бифуркационные диаграммы интегральных отображений волчка с сингулярной симметрией
by: Савушкин, А.Ю., et al.
Published: (2009)

Бифуркационные диаграммы на изоэнергетических уровнях гиростата Ковалевской–Яхья
by: Харламов, М.П., et al.
Published: (2010)

Двухцветные хордовые N-диаграммы с одним черным циклом
by: Кадубовский, А.А.
Published: (2012)

Рефракция декаметрового радиоизлучения Юпитера. I. Искажение диаграммы направленности S-компоненты
by: Архипов, А.В.
Published: (1989)

Физическое обоснование диаграммы истинная деформация - температура поликристаллических ОЦК-металлов
by: Печковский, Э.П.
Published: (2000)

Суммарные и разностные диаграммы направленности уголковых антенных решеток во всем пространстве наблюдения
by: Горобец, Н.Н., et al.
Published: (2006)

Рекурсивні запити в SQL-подібних мовах: приклади, змістова і формальна семантика
by: Буй, Д.Б., et al.
Published: (2010)

Математическая модель сложной диаграммы направленности в широком секторе обзора измерительной радиосистемы
by: Черепков, С.Т., et al.
Published: (2010)

Рефракция декаметрового радиоизлучения Юпитера. II. Искажение диаграммы направленности L-компоненты
by: Архипов, А.В.
Published: (1991)

К теории программных алгебр
by: Буй, Д.Б., et al.
Published: (1984)

Незалежність аксіоматики Армстронга та алгебра функціональних залежностей
by: Буй, Д.Б., et al.
Published: (2015)

Систематизация классов определимости
by: Сарачева, А.С.
Published: (2007)

Термодинамический расчет диаграммы плавкости системы B–B₂O₃–BN при 5 ГПа
by: Туркевич, В.З., et al.
Published: (2008)

Бифуркационные диаграммы на изоэнергетических уровнях волчка Ковалевской в двойном поле
by: Харламов, М.П., et al.
Published: (2004)

Картографирование классов: традиции и новации
by: Симончук, Е.
Published: (2016)