Buchumschlag

Формальная верификация диаграммы классов

В статье описываются наиболее популярные из существующих подходов к верификации наиболее часто используемой UML-диаграммы - диаграммы классов. Указывается, что данные методы позволяют оценить ее корректность только в отдельных аспектах, и наиболее эффективным является комплексное применение данных м...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Математичні машини і системи
Datum:	2013
Hauptverfasser:	Литвинов, В.В., Богдан, И.В.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут проблем математичних машин і систем НАН України 2013
Schlagworte:	Інформаційні і телекомунікаційні технології
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/83837
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. — № 2. — С. 41-47. — Бібліогр.: 6 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Информационная технология блочного имитационного моделирования автоматизированных систем в условиях неопределенности входной информации
von: Литвинов, В.В., et al.
Veröffentlicht: (2018)

Автоматизованная система обработки динамических коллекций разноязычных текстовых документов по морскому и речному делу
von: Литвинов, В.В., et al.
Veröffentlicht: (2014)

Инструментальные средства создания моделей в условиях неполноты данных
von: Литвинов, В.В., et al.
Veröffentlicht: (2014)

Относительная производительность ускоренного ввода ключевого слова в поисковой системе с пошаговой подсказкой
von: Литвинов, В.А., et al.
Veröffentlicht: (2013)

Объем порции пошаговой подсказки и эффективность интерфейса пользователя системы поиска по ключевому слову
von: Литвинов, В.А., et al.
Veröffentlicht: (2012)

Типовые ошибки в информационных ресурсах ГИС, правила и особенности их выявления в сфере лесного хозяйства (на примере системы "ГИС-Леспроект")
von: Литвинов, В.А., et al.
Veröffentlicht: (2016)

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

Дисфункция референтного словаря системы проверки орфографии и подход к ее снижению
von: Литвинов, В.А., et al.
Veröffentlicht: (2017)

Порівняння деяких просторово-часових моделей геоданих у застосуванні до організації інформаційних ресурсів ГІС сфери державного управління (на прикладі лісового господарства)
von: Хурцилава, К.В., et al.
Veröffentlicht: (2019)

Предиктивний тайпінг в інтерфейсі користувача інформаційно-пошукової системи
von: Литвинов, В.А., et al.
Veröffentlicht: (2013)

Моделирование в обучающих системах
von: Литвинов, В.В., et al.
Veröffentlicht: (2009)

Критерии и модели оценки корректирующих свойств референтного орфографического словаря при автоматическом исправлении типовых ошибок пользователя
von: Литвинов В.А., В.А., et al.
Veröffentlicht: (2018)

Сучасний стан захисту інформації в IP-телефонії
von: Литвинов, В.В., et al.
Veröffentlicht: (2009)

Сравнение методик расчета параметров испарения опасных жидкостей с поверхности бассейна разлива на твердую поверхность
von: Оксанич, И.Н., et al.
Veröffentlicht: (2017)

Технология и инструментарий реализации гиперпараметрических (квазипроизвольных) запросов к тематической базе данных
von: Литвинов, В.А., et al.
Veröffentlicht: (2012)

Огляд стану та можливостей впровадження ІТ у сферу безпеки
von: Бєгун, В.В.
Veröffentlicht: (2017)

Трудоемкость интерфейса пользователя в задаче поиска образца в справочнике и ее оценка на основе модели GOMS
von: Литвинов, В.А., et al.
Veröffentlicht: (2009)

Системы радиоуправления стрелками и сигналами на промышленном железнодорожном транспорте
von: Федухин, А.В., et al.
Veröffentlicht: (2012)

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

Про можливість мінімізації кількості гідрометеорологічних станцій
von: Самсонов, В.В., et al.
Veröffentlicht: (2019)

Аппроксимация одно-, дву- и трехмерных дуг кривых параметрическими сплайнами
von: Вишневский, В.В., et al.
Veröffentlicht: (2015)

Метод моделювання процесу підтримки прийняття рішень у конкурентному середовищі
von: Литвин, В.В., et al.
Veröffentlicht: (2014)

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

Биометрическая идентификация человека по его электрокардиограмме
von: Вишневский, В.В., et al.
Veröffentlicht: (2018)

Особливості створення мережевої системи виявлення вторгнень у комп’ютерні системи
von: Риндич, Є.В., et al.
Veröffentlicht: (2018)

Архітектура побудови віртуального оточення для грід-застосувань
von: Казимир, В.В., et al.
Veröffentlicht: (2017)

Интеллектуализованный интерфейс пользователя информационно-поисковой системы в задаче поиска по ключевому слову («образцу») с упреждающей подсказкой
von: Кузьменко, Г.Е., et al.
Veröffentlicht: (2011)

Методы планирования потоков задач в grid-среде
von: Казимир, В.В., et al.
Veröffentlicht: (2013)

Численное исследование придонного давления и его горизонтального градиента в зоне прибоя и наката волн на берег
von: Демченко, Р.И., et al.
Veröffentlicht: (2015)

Эффективность посрезовой обработки векторных массивов данных
von: Мартынюк, Т.Б., et al.
Veröffentlicht: (2017)

Оптимизация выбора технологии и комплектации ремонтно-эксплуатационных подразделений при обслуживании линейной части магистральных газопроводов
von: Остапюк, И.И.
Veröffentlicht: (2014)

Змінна роздільна здатність у зоровому сприйнятті та обробленні зображень
von: Шарипанов А.В., А.В., et al.
Veröffentlicht: (2018)

Інформаційна технологія побудови системи OFDM-FHSS на основі оптимальних частотно-часових сигнально-кодових конструкцій
von: Зайцев, С.В., et al.
Veröffentlicht: (2013)

Оцінка ефективності інформаційної технології для систем безпроводового доступу, побудованої на основі оптимальних ортогональних багаточастотних сигнальних конструкцій
von: Яриловець, А.В., et al.
Veröffentlicht: (2014)

Алгоритм побудови оптимальних частотно-часових сигнальних конструкцій
von: Яриловець, А.В., et al.
Veröffentlicht: (2012)

Інформаційна технологія побудови системи радіозв'язку з OFDM, внутрішньобітовою псевдовипадковою перебудовою піднесучих частот та трикомпонентними турбокодами
von: Зайцев, С.В.
Veröffentlicht: (2013)

Создание расчетной сетки для экологических моделей на основе свободно доступных ГИС-данных
von: Халченков, А.В.
Veröffentlicht: (2016)

Метод параметрической адаптации турбокодов в условиях неопределенности
von: Василенко, В.М.
Veröffentlicht: (2018)

Фінансовий інжиніринг як інструмент інноваційної діяльності в інвестиційних проектах
von: Краскевич, В.Є., et al.
Veröffentlicht: (2016)

Інструментальний засіб віддаленого спостереження за показниками датчиків
von: Нікітенко, Є.В., et al.
Veröffentlicht: (2018)