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: (2013)

Автоматизованная система обработки динамических коллекций разноязычных текстовых документов по морскому и речному делу
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: Грибков, C.В., et al.
Veröffentlicht: (2015)

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

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

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

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

Аналіз систем та методів виявлення несанкціонованих вторгнень у комп’ютерні мережі
von: Литвинов, В.В., et al.
Veröffentlicht: (2018)

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

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

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

Практичне застосування ГІС-технологій для планово-картографічного супроводження лісовпорядкування (на прикладі «ГІС-Ліспроект»)
von: Білецький, Б.О., et al.
Veröffentlicht: (2013)

Сучасний стан захисту інформації в 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: (2011)

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

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

Вітчизняний ключ для автентифікації користувачів, опис, аналіз та пропозиції щодо використання
von: Корольов, В.Ю., et al.
Veröffentlicht: (2013)

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

Про можливість мінімізації кількості гідрометеорологічних станцій
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)

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

Организация структуры системы обработки информации и управления
von: Додонов, А.Г., et al.
Veröffentlicht: (2014)

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

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

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

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

Формальная модель научной публикации
von: Резниченко, В.А., et al.
Veröffentlicht: (2012)