Верифікація комп’ютерної моделі системи інформаційного управління

Скорочена інформація про документ
dc.contributor.authorКоваль, О. В.
dc.contributor.authorЗайцева, К. А.
dc.contributor.authorKoval, O. V.
dc.contributor.authorZaitseva, K. A.
dc.date.accessioned2016-06-29T15:54:53Z
dc.date.available2016-06-29T15:54:53Z
dc.date.issued2014
dc.description.abstractenAn important stage in the development of complex software systems (PS) nowadays is a computer simulation. Verification of MIS computer model is an important step of model-driven methodology to assess the complexity of the PS. Analytical model of MIS with advanced analytics, which provides the basic components of an advanced analytics: goal - scenario - software factory - metadata - data. Proposed three criteria of MIS computer model verification: integrity, completeness, consistency. The main stages of verification scenario models are considered according to set criteria.uk
dc.description.abstractukВажливим етапом процесу розробки складних програмних систем (ПС) на сучасному етапі є комп’ютерне моделювання. Верифікація комп’ютерної моделі СІУ є важливим етапом методології модельної розробки ПС, що дозволяє оцінити комплексність ПС. Запропоновано аналітичну модель СІУ з дієвою аналітикою, якою передбачено основні складові елементи дієвої аналітики: ціль - сценарій - технологічне середовище - метадані - дані. Пропонується три критерії перевірки комп’ютерної моделі СІУ: цілісність, повнота, несуперечність. Розглянуто основні етапи перевірки сценарної моделі, відповідно до поставлених критеріїв.uk
dc.format.pagerangeС. 43-48uk
dc.identifier.citationКоваль О. В., Зайцева К. А. Верифікація комп’ютерної моделі системи інформаційного управління / Коваль О. В., Зайцева К. А. // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2014. – Вип. 61. – С. 43–48. – Бібліогр.: 18 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/16716
dc.language.isoukuk
dc.publisherВЕК+uk
dc.publisher.placeКиївuk
dc.source.nameВісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових працьuk
dc.status.pubpublisheduk
dc.subject.udc004.93(015.7)uk
dc.titleВерифікація комп’ютерної моделі системи інформаційного управлінняuk
dc.title.alternativeVerification of computer model of information management systemuk
dc.typeArticleuk
thesis.degree.level-uk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
7.pdf.pdf
Розмір:
337.16 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
7.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових праць, Вип. 61