| Card | Table | RUSMARC | |
|
|
Синицын, С. В. Верификация программного обеспечения [электронный ресурс]: учебное пособие для спо / С. В. Синицын, Н. Ю. Налютин. — Верификация программного обеспечения, 2025-07-04. — Электрон. дан. (1 файл). — Саратов: Профобразование, 2019 — 368 с. — Книга находится в премиум-версии IPR SMART. — Лицензия до 04.07.2025. — Текст. — электронный. — <URL:https://www.iprbookshop.ru/86194.html>.Record create date: 9/6/2022 Subject: верификация ПО; программное обеспечение; устойчивый код; формальная инспекция; модульное тестирование; интеграционное тестирование; системное тестирование; пользовательский интерфейс; менеджмент качества; конфигурационное управление UDC: 004.052 LBC: 32.973 Collections: ЭБС "IPRbooks" Allowed Actions: Open |
Annotation
В учебном пособии представлены современные технологии верификации программного обеспечения, применяемые при промышленной разработке сложных и отказоустойчивых программных систем. Материал издания рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Учебное пособие предназначено для изучения дисциплины «Программное обеспечение компьютерных сетей» по специальности среднего профессионального образования 09.02.01 «Компьютерные системы и комплексы» и др.
Document usage statistics
|
|
Document access count: 0
Last 30 days: 0 Detailed usage statistics |