Принципы верификации информационных моделей и алгоритмов

Статья в журнале
Елсуков П.Ю.
Образовательные ресурсы и технологии
Образовательные ресурсы и технологии. №2(19). C.81-86.
2017
Статья раскрывает содержание принципов верификации информационных моделей. Вводится понятие верификации модели. Вводится понятие алгоритма реализации. Показано, что верификация программного обеспечения является основой для верификации информационных моделей. Показано, что алгоритм реализации информационной верифицированной модели обладает большей надежностью в сравнении с обычным алгоритмом. Статья показывает априрорные и апостерироные принципы верификации информационных моделей. Показано различие между алгоритмом и алгоритмом реализации.

Библиографическая ссылка

Елсуков П.Ю. Принципы верификации информационных моделей и алгоритмов // Образовательные ресурсы и технологии. №2(19). 2017. C.81-86. DOI: 10.21777/2500-2112-2017-2-81-86 https://www.muiv.ru/vestnik/pdf/pp/ot_2017_2_081-086.pdf
x
x