Details
| Title | Верификация программного обеспечения: учебное пособие для спо. — Верификация программного обеспечения, 2028-08-20 |
|---|---|
| Creators | Синицын, С. В. ; Налютин, Н. Ю. |
| Imprint | Саратов: Профобразование, 2025 |
| Collection | ЭБС "PROFобразование" ; Общая коллекция |
| Subjects | верификация ; программное обеспечение ; устойчивый код ; формальная инспекция ; модульное тестирование ; интеграционное тестирование ; системное тестирование ; пользовательский интерфейс ; менеджмент качества ; конфигурационное управление |
| UDC | 004.052 |
| LBC | 32.973 |
| Document type | Tutorial |
| Language | Russian |
| Rights | Гарантированный срок размещения до 20.08.2028 (автопролонгация); Доступ по паролю из сети Интернет (чтение) |
| Additionally | New arrival |
| Record key | RU2fPROFSPO2f153347 |
| Record create date | 9/10/2026 |
В учебном пособии представлены современные технологии верификации программного обеспечения, применяемые при промышленной разработке сложных и отказоустойчивых программных систем. Материал издания рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Учебное пособие предназначено для изучения дисциплины «Программное обеспечение компьютерных сетей» по укрупненной группе специальностей среднего профессионального образования «Информатика и вычислительная техника».
...
