Введение в технологии верификации

Рассмотрены основы процессов обеспечения качества программного обеспечения с использованием методов верификации и тестирования. Представлены наиболее распространенные на текущий момент математические модели, применяемые для формального описания требований и функционала разрабатываемых комплексов про... View More