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)