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

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

Скачать Синицын С.В., Налютин Н.Ю. - Верификация программного обеспечения (2017)