| Карточка | Таблица | RUSMARC | |
|
|
Синицын, С. В. Верификация программного обеспечения [электронный ресурс]: учебное пособие для спо / С. В. Синицын, Н. Ю. Налютин. — Верификация программного обеспечения, 2025-07-04. — Электрон. дан. (1 файл). — Саратов: Профобразование, 2019 — 368 с. — Книга находится в премиум-версии IPR SMART. — Лицензия до 04.07.2025. — Текст. — электронный. — <URL:https://www.iprbookshop.ru/86194.html>.Дата создания записи: 06.09.2022 Тематика: верификация ПО; программное обеспечение; устойчивый код; формальная инспекция; модульное тестирование; интеграционное тестирование; системное тестирование; пользовательский интерфейс; менеджмент качества; конфигурационное управление УДК: 004.052 ББК: 32.973 Коллекции: ЭБС "IPRbooks" Разрешенные действия: Открыть |
Аннотация
В учебном пособии представлены современные технологии верификации программного обеспечения, применяемые при промышленной разработке сложных и отказоустойчивых программных систем. Материал издания рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Учебное пособие предназначено для изучения дисциплины «Программное обеспечение компьютерных сетей» по специальности среднего профессионального образования 09.02.01 «Компьютерные системы и комплексы» и др.
Статистика использования документа
|
|
Количество обращений: 0
За последние 30 дней: 0 Подробная статистика |