post_parent): $temp_content = $post->post_content; $temp_content = explode("

",$temp_content); $temp_content = $temp_content[1]; $temp_content = explode("

",$temp_content); $temp_content = $temp_content[0]; $temp_content = strip_tags($temp_content); $temp_content = trim($temp_content); $authors = explode(",",$temp_content); ?> post_title));?>"> $value): ?> "> "> "> post_content); while ($parser->parse()) { if (($parser->iNodeName=="a")&&(substr_count($parser->iNodeAttributes['href'],".pdf")>0)): ?>

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

Коваль О.В.,Зайцева К.А.

Важливим етапом процесу розробки складних програмних систем (ПС) на сучасному етапі є комп’ютерне моделювання . Верифікація комп’ютерної моделі СІУ є важливим етапом методології модельної розробки ПС, що дозволяє оцінити комплексність ПС. Запропоновано аналітичну модель СІУ з дієвою аналітикою, якою передбачено основні складові елементи дієвої аналітики: ціль – сценарій – технологічне середовище – метадані – дані. Пропонується три критерії перевірки комп’ютерної моделі СІУ:цілісність, повнота, несуперечність. Розглянуто основні етапи перевірки сценарної моделі, відповідно до поставлених критеріїв.


Завантажити (pdf)