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

Модель інформаційного об’єкта для електронної бібліотеки та її верифікація

Запропоновано підхід формальної верифікації UML 2.0 через відображення OWL-DL в UML 2.0. У результаті розроблено оригінальний метод до відображення OWL-DL в UML 2.0 через дескриптивну логіку. Забезпечено повноту відображення UML-OWL через стереотипи та мічені значення UML 2.0 на рівні М0, М1 метамод...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Основні підходити до композиції веб-сервісів електронної бібліотеки
за авторством: Новицький, О.В.
Опубліковано: (2008)

Підхід до побудови системи характеристик якості наукової електронної бібліотеки
за авторством: Резніченко, В.А., та інші
Опубліковано: (2006)

Математична модель електронної платіжної системи як об’єкта керування
за авторством: Гришин, О.Г., та інші
Опубліковано: (2009)

Умови відповідності моделі управління системним потребам об’єкта управління
за авторством: Косс, В.А.
Опубліковано: (2007)

Метод побудови областей керованих станів динамічного об’єкта
за авторством: Cемко, В.В.
Опубліковано: (2015)

Інтеграція наукових електронних бібліотек на основі протоколу ОАІ-РМН
за авторством: Резніченко, В.А., та інші
Опубліковано: (2007)

Уроки Чорнобиля: проблеми об'єкта "Укриття"
за авторством: Боровой, О., та інші
Опубліковано: (2001)

Методичний підхід до побудови моделі процесу підвищення рівня безпеки об’єкта підвищеної небезпеки
за авторством: Кузьменко, Г.Є., та інші
Опубліковано: (2009)

Апроксимація контуру об’єкта у зображенні із застосуванням векторних операцій
за авторством: Сабельніков, П.Ю.
Опубліковано: (2020)

Ідентифікація функції оцінки об’єкта нерухомості нейронною мережею
за авторством: Тазетдінов, В.А.
Опубліковано: (2009)

Новітня англомовна актуалізація структури мікрогеографічного об'єкта
за авторством: Головко, О.М.
Опубліковано: (2007)

Лікувальна стратегія як результат оптимізації прогнозу стану об'єкта
за авторством: Павлов, В.А., та інші
Опубліковано: (2017)

Аналіз необхідності актуалізації стратегії перетворення об’єкта "Укриття"
за авторством: Стельмах, Д.А., та інші
Опубліковано: (2016)

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

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

Аналіз економічної сутності землі як об'єкта оподаткування
за авторством: Pavliy, Alena S.
Опубліковано: (2014)

Оцінка фінансового стану підприємства як об'єкта інвестування
за авторством: Семенов, А.Г.
Опубліковано: (2005)

Аналіз економічної сутності землі як об'єкта оподаткування
за авторством: Павлій, О.С.
Опубліковано: (2014)

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

Метод відновлення 3D об’єкта з використанням поліноміальної інтерфлетації
за авторством: Першина, Ю.І., та інші
Опубліковано: (2017)

До питання вибору методу оптимізації параметрів керованого об’єкта
за авторством: Сєнькін, В.С., та інші
Опубліковано: (2020)

Розвиток внутрішнього туризму в Україні як об’єкта управління
за авторством: Шелеметьєва, Т.В.
Опубліковано: (2019)

Опис наукових електронних ресурсів метаданими дублінського ядра
за авторством: Захарова, Е.Г., та інші
Опубліковано: (2008)

Щодо перетворення об’єкта "Укриття" на екологічно безпечну систему
за авторством: Корчагін, П.О., та інші
Опубліковано: (2016)

Граматичні особливості об’єкта при дієсловах на позначення творення
за авторством: Шевчук, Н.
Опубліковано: (2010)

Алгоритм проходження контуром об’єкта з використанням зворотного ходу
за авторством: Березький, О.М., та інші
Опубліковано: (2009)

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

Критерії щодо перетворення об'єкта "Укриття" на екологічно безпечну систему
за авторством: Батій, В.Г., та інші
Опубліковано: (2015)

Комп'ютерне моделювання при експлуатації та перетворенні об'єкта "Укриття"
за авторством: Батій, В.Г., та інші
Опубліковано: (2016)

Інформаційно-екстремальне машинне навчання бортової системи розпізнавання наземного об’єкта
за авторством: Довбиш, А.С., та інші
Опубліковано: (2020)

Розподіл тритію в грунтових водах у районі об'єкта "Укриття"
за авторством: Литвин, І.А., та інші
Опубліковано: (2017)

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

ЧАСТОТНИЙ СПОСІБ ВІДНОВЛЕННЯ СИГНАЛУ НА ВХОДІ ЛІНІЙНОГО ДИНАМІЧНОГО ОБ'ЄКТА
за авторством: Костьян, Наталья Леонидовна, та інші
Опубліковано: (2012)

Еволюція об’єкта дослідження із залученням модифікованого методу морфологічного аналізу
за авторством: Savchenko, I. O.
Опубліковано: (2015)

Метод відновлення 3D об’єкта з використанням поліноміальної інтерфлетації
за авторством: Першина, Юлія Ігорівна, та інші
Опубліковано: (2017)

Система локалізації радіоактивного пилу в підпокрівельному просторі об’єкта "Укриття"
за авторством: Павлюченко, М.І.
Опубліковано: (2017)

Трансформаційний підхід типу «модель-модель» для реалізації байєсівських механізмів інтелектуального аналізу даних
за авторством: Парасюк, І.М., та інші
Опубліковано: (2006)

Підхід до визначення відділу – об'єкта впровадження програм якості трудового життя
за авторством: Комаричина, В.В.
Опубліковано: (2007)

Проект української електронної бібліотеки «Ізборник»
за авторством: Бистрицький, М.
Опубліковано: (2013)

Основні елементи інформаційного забезпечення моніторингу та оперативного аналізу виконання Державного бюджету України
за авторством: Довгий, С.О., та інші
Опубліковано: (2013)