Ж74
Житарюк А. Г. Формалізовані концептуальні моделі предметних областей інформаційних систем та обчислювальні методи їх аналізу : автореф. дис. ... канд. техн. наук : 01.05.02 "Математичне моделювання та обчислювальні методи" / Житарюк Анастасія Геннадіївна ; МОНМС України, Харків. нац. ун-т ім. В. Н. Каразіна. – Харків, 2012. – 20 с.
Житарюк А. Г. Формалізовані концептуальні моделі предметних областей інформаційних систем та обчислювальні методи їх аналізу : автореф. дис. ... канд. техн. наук : 01.05.02 "Математичне моделювання та обчислювальні методи" / Житарюк Анастасія Геннадіївна ; МОНМС України, Харків. нац. ун-т ім. В. Н. Каразіна. – Харків, 2012. – 20 с.
Статистика використання: Видач: 0
Анотація:
Удосконалено підхід до процесу концептуального моделювання предметних областей за допомогою апарату предсхем. Розроблено формальну мову специфікації предсхем. Запропоновано новий метод представлення предсхем в базі даних мови логічного програмування Prolog з метою реалізації обчислювальних алгоритмів аналізу та верифікації побудованої моделі. Удосконалено модель зразка концепту шляхом розширення класу моделей зразків від маркірованих дерев до ациклічних графів. Розвинуто методи трансформації предсхем в сховище даних. Проведено аналіз трудомісткості розробки інформаційних систем при використанні предсхем та без їх використання.