Скляр, В.В.; Харченко, В.С.
(Математичні машини і системи, 2006)
Обобщены требования стандартов к процессу верификации программного обеспечения (ПО), что позволило структурировать данный процесс и разработать метод комплексной верификации, направленный на обеспечение надежности ПО. Метод ...