Перспективы интеграции методов верификации программного обеспечения



     дсп плиты quickdeck. | индивидуалки королев, сао. |     

Перспективы интеграции методов верификации программного обеспечения


Перспективы интеграции методов верификации программного обеспечения
Введение
Введение - часть 2
Введение - часть 3
Синтетические методы верификации ПО
Синтетические методы верификации ПО - часть 2
Синтетические методы верификации ПО - часть 3
Синтетические методы верификации ПО - часть 4
Подход к построению расширяемой среды верификации ПО
Анализ требований
Анализ требований - часть 2
Поддержка различных языков и нотаций
Архитектурная основа среды верификации
Архитектурная основа среды верификации - часть 2
Организация разработки среды верификации
Заключение
Литература
Литература - часть 2
Литература - часть 3
Литература - часть 4
Литература - часть 5



Содержание