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)): ?>

Verification of computer model of  information management system

Koval O.V., Zaitseva K.A.

An 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.


Full text (pdf)