Инструменты LDRA для верификации ПО: Обзор стандартов и трассируемость

Российская платформа математических вычислений и динамического моделирования Engee: сайт: Телеграм канал: ############### В этом вводном видео дается обзор промышленных стандартов а так же рассматривается вопрос трассируемости различных едениц конфигурации друг к другу. Показывается начало работы над проектом верификации ПО