Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


ЭБС IPRBooks- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=верификация по<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

Вид документа : Однотомное издание
Шифр издания : 97540
Автор(ы) : Синицын С. В., Налютин Н. Ю.
Заглавие : Верификация программного обеспечения : Учебное пособие
Выходные данные : Москва: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :367 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0653-9: Б.ц.
УДК : 004
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): верификация по--конфигурационное управление--модульное тестирование--программное обеспечение--программный код--разработка по--системное тестирование--тестовое окружение--управление качеством--экстремальное программирование
Аннотация: Учебное пособие знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Издание рассчитано на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.
(для доступа требуется авторизация)

Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 86194
Автор(ы) : Синицын С. В., Налютин Н. Ю.
Заглавие : Верификация программного обеспечения : Учебное пособие для СПО
Выходные данные : Саратов: Профобразование, 2019
Колич.характеристики :368 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0357-4: Б.ц.
УДК : 004.052
ББК : 32.973
Ключевые слова (''Своб.индексиров.''): верификация по--интеграционное тестирование--конфигурационное управление--менеджмент качества--модульное тестирование--пользовательский интерфейс--программное обеспечение--системное тестирование--устойчивый код--формальная инспекция
Аннотация: В учебном пособии представлены современные технологии верификации программного обеспечения, применяемые при промышленной разработке сложных и отказоустойчивых программных систем. Материал издания рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Учебное пособие предназначено для изучения дисциплины «Программное обеспечение компьютерных сетей» по специальности среднего профессионального образования 09.02.01 «Компьютерные системы и комплексы» и др.
(для доступа требуется авторизация)

Найти похожие

 
Статистика
за 01.07.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)