Детальная информация
| Название | Верификация программного обеспечения: учебное пособие для спо. — Верификация программного обеспечения, 2028-08-20 |
|---|---|
| Авторы | Синицын, С. В. ; Налютин, Н. Ю. |
| Выходные сведения | Саратов: Профобразование, 2025 |
| Коллекция | ЭБС "PROFобразование" ; Общая коллекция |
| Тематика | верификация ; программное обеспечение ; устойчивый код ; формальная инспекция ; модульное тестирование ; интеграционное тестирование ; системное тестирование ; пользовательский интерфейс ; менеджмент качества ; конфигурационное управление |
| УДК | 004.052 |
| ББК | 32.973 |
| Тип документа | Учебник |
| Язык | Русский |
| Права доступа | Гарантированный срок размещения до 20.08.2028 (автопролонгация); Доступ по паролю из сети Интернет (чтение) |
| Дополнительно | Новинка |
| Ключ записи | RU2fPROFSPO2f153347 |
| Дата создания записи | 10.09.2026 |
В учебном пособии представлены современные технологии верификации программного обеспечения, применяемые при промышленной разработке сложных и отказоустойчивых программных систем. Материал издания рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Учебное пособие предназначено для изучения дисциплины «Программное обеспечение компьютерных сетей» по укрупненной группе специальностей среднего профессионального образования «Информатика и вычислительная техника».
...
