Верификация программного обеспечения — Учебный курс «Верификация программного обеспечения» разработан преподавателями кафедры «Кибернетика» МИФИ в тесном сотрудничестве с предприятием авиационной отрасли ДС БАРС (Бортовые Алгоритмы и Разработка Систем) и московским представительством корпорации Microsoft. Курс знакомит с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, связанных с современными технологиями верификации программного обеспечения. По завершении курса студент овладевает всеми основными навыками, необходимыми для участия в верификации сложных промышленных систем.
Название: Верификация программного обеспечения Автор: Синицын С. В., Налютин Н. Ю. Издательство: Интуит; Саратов: Вузовское образование Год: 2017 Страниц: 368 Формат: PDF Размер: 32,97 МБ ISBN: 978-5-4487-0074-3 Качество: Отличное
Все материалы размещенные на сайте //gigabyt.at.ua/ пренадлежат их владельцам и предоставляются исключительно в ознакомительных целях. Администрация ответственности за содержание материала не несет и убытки не возмещает. По истечении 24 часов материал должен быть удален с вашего компьютера. Незаконная реализация карается законами РФ и Украины: "Об авторском и смежном праве". При копировании материала, ссылка на сайт обязательна!
