Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Труды Института прикладной математики и механики
Datum:	2013
Hauptverfasser:	Буй, Д.Б., Компан, С.В.
Format:	Artikel
Sprache:	Russisch
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: Мартынюк, Т.Б., et al.
Veröffentlicht: (2015)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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