Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Труды Института прикладной математики и механики
Дата:	2013
Автори:	Буй, Д.Б., Компан, С.В.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут прикладної математики і механіки НАН України 2013
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/124179
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Диаграммы классов ООП: формализация и анализ / Д.Б. Буй, С.В. Компан // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2013. — Т. 27. — С. 51-65. — Бібліогр.: 40 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Формальная верификация диаграммы классов
за авторством: Литвинов, В.В., та інші
Опубліковано: (2013)

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

Формализация: алгоритмический подход
за авторством: Провотар, А.И.
Опубліковано: (2008)

Формализация алгоритма классификации объектов
за авторством: Мартынюк, Т.Б., та інші
Опубліковано: (2015)

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

Формализация и построение системы морфологического анализа крымскотатарского языка
за авторством: Адживелиева, З.Д., та інші
Опубліковано: (2009)

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

Теоретико-категорная формализация при проектировании нечетких интеллектуальных систем
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2009)

Об алгоритме синтеза реляционного каркаса. Постановка задачи и формализация
за авторством: Панченко, Б.Е.
Опубліковано: (2012)

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

Формализация задач оптимизации пространственных конфигураций с использованием специального класса функций
за авторством: Яковлев, С.В.
Опубліковано: (2019)

Деформационная структура металлов и диаграммы ИДТ
за авторством: Моисеев, В.Ф., та інші
Опубліковано: (2001)

n- исчисление – реалистичная формализация класса переписывающих систем
за авторством: Шевченко, Р.С., та інші
Опубліковано: (2011)

Формализация описания компьютерных приложений на основе графических нотаций
за авторством: Бальва, А.А., та інші
Опубліковано: (2011)

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

Формализация согласования экспертных оценок при реализации метода Делфи
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2012)

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

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

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

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

Диаграммы трещиностойкости тела с надрезом
за авторством: Матвиенко, Ю.Г., та інші
Опубліковано: (2006)

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

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

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

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

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

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

Формализация технологии обслуживания вагонопотоков сортировочной станцией при имитационном моделировании
за авторством: Ерофеева, Е.А.
Опубліковано: (2008)

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

Особенности фазовой диаграммы растворов (La₁₋xNdx)₃S₄
за авторством: Стариков, М.А., та інші
Опубліковано: (1996)

Фазовые диаграммы бинарных систем каприлатов цинка, кадмия и свинца
за авторством: Мирная, Т.А., та інші
Опубліковано: (2013)

Формализация содержания операций человека с временной чструктурой событий в среде
за авторством: Черноморец, В.А., та інші
Опубліковано: (2013)

Влияние водородных связей на диаграммы состояния криопротекторных растворов
за авторством: Севастьянов, С.С., та інші
Опубліковано: (2015)

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

Магнитооптические исследования фазовой Н-Т-диаграммы многослойной пленки Fe/Si
за авторством: Чижик, А.Б., та інші
Опубліковано: (2001)

Диаграммы равновесий комплексообразования в системах никель—оксиэтилидендифосфоновая кислота
за авторством: Козачкова, А.Н., та інші
Опубліковано: (2005)

Области существования критических движений обобщенного волчка Ковалевской и бифуркационные диаграммы
за авторством: Харламов, М.П.
Опубліковано: (2006)

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

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

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