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

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

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

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

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

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

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

Дисфункция референтного словаря системы проверки орфографии и подход к ее снижению
за авторством: Литвинов, В.А., та інші
Опубліковано: (2017)

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

Предиктивний тайпінг в інтерфейсі користувача інформаційно-пошукової системи
за авторством: Литвинов, В.А., та інші
Опубліковано: (2013)

Моделирование в обучающих системах
за авторством: Литвинов, В.В., та інші
Опубліковано: (2009)

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

Сучасний стан захисту інформації в IP-телефонії
за авторством: Литвинов, В.В., та інші
Опубліковано: (2009)

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

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

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

Трудоемкость интерфейса пользователя в задаче поиска образца в справочнике и ее оценка на основе модели GOMS
за авторством: Литвинов, В.А., та інші
Опубліковано: (2009)

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

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

Про можливість мінімізації кількості гідрометеорологічних станцій
за авторством: Самсонов, В.В., та інші
Опубліковано: (2019)

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

Метод моделювання процесу підтримки прийняття рішень у конкурентному середовищі
за авторством: Литвин, В.В., та інші
Опубліковано: (2014)

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

Биометрическая идентификация человека по его электрокардиограмме
за авторством: Вишневский, В.В., та інші
Опубліковано: (2018)

Особливості створення мережевої системи виявлення вторгнень у комп’ютерні системи
за авторством: Риндич, Є.В., та інші
Опубліковано: (2018)

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

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

Методы планирования потоков задач в grid-среде
за авторством: Казимир, В.В., та інші
Опубліковано: (2013)

Численное исследование придонного давления и его горизонтального градиента в зоне прибоя и наката волн на берег
за авторством: Демченко, Р.И., та інші
Опубліковано: (2015)

Эффективность посрезовой обработки векторных массивов данных
за авторством: Мартынюк, Т.Б., та інші
Опубліковано: (2017)

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

Змінна роздільна здатність у зоровому сприйнятті та обробленні зображень
за авторством: Шарипанов А.В., А.В., та інші
Опубліковано: (2018)

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

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

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

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

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

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

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

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