Пошук
Зараз показуються 1-2 з 2
Технологически ориентированное проектирование алгоритмов и программ
(ХАІ, 2003)
Рассмотрены теоретические аспекты автоматизированного проектирования алгоритмов и программ, базовой моделью которых являются рекурсивные автоматы с программируемой логикой. В качестве инструментальных средств проектирования ...
Использование метрик Холстеда при оценке безопасности критического программного обеспечения
(ХАІ, 2003)
Предложена методика использования метрик Холстеда при экспертной оценке программного обеспечения информационно-управляющих систем критического применения. Получен универсальный алгоритм расчета метрик Холстеда для ассемблерных ...