Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Проблеми програмування
Datum:	2020
ISSN:	1727-4907
Hauptverfasser:	Новицький, О.В., Резніченко, В.А.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут програмних систем НАН України 2020
Schlagworte:	Інформаційні системи
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/180449
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:	Модель інформаційного об’єкта для електронної бібліотеки та її верифікація / О.В. Новицький, В.А. Резніченко // Проблеми програмування. — 2020. — № 2-3. — С. 31-38. — Бібліогр.: 23 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

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

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

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

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

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

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

Уроки Чорнобиля: проблеми об'єкта "Укриття"
von: Боровой, О., et al.
Veröffentlicht: (2001)

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

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

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

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

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

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

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

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

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

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

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

Опис наукових електронних ресурсів метаданими дублінського ядра
von: Захарова, Е.Г., et al.
Veröffentlicht: (2008)

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

До питання вибору методу оптимізації параметрів керованого об’єкта
von: Сєнькін, В.С., et al.
Veröffentlicht: (2020)

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

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

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

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

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

Функціональні можливості сучасних систем електронних бібліотек
von: Резніченко, В.А., et al.
Veröffentlicht: (2008)

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

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

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

Розподіл тритію в грунтових водах у районі об'єкта "Укриття"
von: Литвин, І.А., et al.
Veröffentlicht: (2017)

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

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

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

ЧАСТОТНИЙ СПОСІБ ВІДНОВЛЕННЯ СИГНАЛУ НА ВХОДІ ЛІНІЙНОГО ДИНАМІЧНОГО ОБ'ЄКТА
von: Костьян, Наталья Леонидовна, et al.
Veröffentlicht: (2012)

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

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

Огляд інструментів анотації електронних ресурсів
von: Овдій, О.М., et al.
Veröffentlicht: (2008)

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