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

Название: Верификация программного обеспечения
Автор: Синицын С. В., Налютин Н. Ю.
Издательство: Интуит; Саратов: Вузовское образование
Год: 2017
Страниц: 368
Формат: PDF
Размер: 32,97 МБ
ISBN: 978-5-4487-0074-3
Качество: Отличное