Верификация программного обеспечения — Учебный курс «Верификация программного обеспечения» разработан преподавателями кафедры «Кибернетика» МИФИ в тесном сотрудничестве с предприятием авиационной отрасли ДС БАРС (Бортовые Алгоритмы и Разработка Систем) и московским представительством корпорации Microsoft. Курс знакомит с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, связанных с современными технологиями верификации программного обеспечения. По завершении курса студент овладевает всеми основными навыками, необходимыми для участия в верификации сложных промышленных систем.
Название: Верификация программного обеспечения Автор: Синицын С. В., Налютин Н. Ю. Издательство: Интуит; Саратов: Вузовское образование Год: 2017 Страниц: 368 Формат: PDF