Верификация программного обеспечения: учебное пособие

Верификация программного обеспечения: учебное пособие

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Синицын С. В. Сергей Владимирович
Rannpháirtithe:	Налютин Н. Ю. Никита Юрьевич
Achoimre:	Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.
Teanga:	Rúisis
Foilsithe / Cruthaithe:	Москва, БИНОМ. Лаборатория знаний, 2008
Sraith:	Основы информационных технологий
Ábhair:	Верификация данных программное обеспечение программные коды тестирование документация модульное тестирование интеграционное тестирование системное тестирование устойчивые коды разработка промышленная разработка семинары программы учебные пособия
Formáid:	LEABHAR
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=151489

Míreanna comhchosúla

Основы тестирования программного обеспечения: учебное пособие
de réir: Котляров В. П. Всеволод Павлович
Foilsithe / Cruthaithe: (Москва, БИНОМ. Лаборатория знаний, 2016)

Разработка через тестирование для iOS
de réir: Грэхем Л.
Foilsithe / Cruthaithe: (Москва, ДМК Пресс, 2013)

Методы верификации и оценки качества программного обеспечения учебное пособие
de réir: Семахин А. М.
Foilsithe / Cruthaithe: (Курган, КГУ, 2018)

Эксплуатация, сопровождение и обслуживание информационных систем учебное пособие
de réir: Рудаков Н. В.
Foilsithe / Cruthaithe: (Иваново, ИГЭУ, 2023)

Управление разработкой ПО: пер. с англ.
de réir: Пайлон Д. Дэн
Foilsithe / Cruthaithe: (Санкт-Петербург, Питер, 2014)

Тестирование программного обеспечения учебник для вузов
de réir: Щербак А. В. Алексей Викторович
Foilsithe / Cruthaithe: (Москва, Юрайт, 2025)

Эффективное тестирование программного обеспечения
de réir: Аниче М.
Foilsithe / Cruthaithe: (Москва, ДМК Пресс, 2023)

Тестирование программного обеспечения учебное пособие для вузов
de réir: Щербак А. В. Алексей Викторович
Foilsithe / Cruthaithe: (Москва, Юрайт, 2025)

Жемчужины программирования: пер. с англ.
de réir: Бентли Д. Джон
Foilsithe / Cruthaithe: (СПб., Питер, 2002)

Технология разработки программного обеспечения: учебное пособие
de réir: Гагарина Л. Г. Лариса Геннадьевна
Foilsithe / Cruthaithe: (Москва, Форум, 2013)

Основы тестирования и верификации программного обеспечения учебное пособие для вузов
de réir: Старолетов С. М.
Foilsithe / Cruthaithe: (Санкт-Петербург, Лань, 2023)

Python. Разработка на основе тестирования. Повинуйся Билли-тестировщику, используя Django, Selenium и JavaScript: пер. с англ.
de réir: Персиваль Г. Гарри
Foilsithe / Cruthaithe: (Москва, ДМК Пресс, 2018)

Верификация и тестирование сложных программных средств; Информационные технологии; № 7
de réir: Липаев В. В.
Foilsithe / Cruthaithe: (2004)

Технология разработки программного обеспечения
de réir: Брауде Э. Д. Эрик Дж.
Foilsithe / Cruthaithe: (СПб., Питер, 2004)

Технология разработки и отладки программ: учебное пособие
de réir: Федотова Д. Э. Дина Эммануиловна
Foilsithe / Cruthaithe: (Москва, Изд-во МИРЭА, 1987)

Технологии разработки программного обеспечения. Разработка сложных программных систем: учебник
de réir: Орлов С. А. Сергей Александрович
Foilsithe / Cruthaithe: (СПб., Питер, 2004)

Программная инженерия. Тестирование и контроль качества программного обеспечения учебное пособие для вузов
de réir: Турнецкая Е. Л.
Foilsithe / Cruthaithe: (Санкт-Петербург, Лань, 2025)

Технологии разработки программного обеспечения. Разработка сложных программных систем: учебное пособие
de réir: Орлов С. А. Сергей Александрович
Foilsithe / Cruthaithe: (СПб., Питер, 2003)

Адаптивные технологии разработки программного обеспечения учебное пособие
de réir: Андреев А. Е.
Foilsithe / Cruthaithe: (Волгоград, ВолгГТУ, 2015)

Основы технологии разработки программных продуктов: учебное пособие
de réir: Гагарина Л. Г. Лариса Геннадьевна
Foilsithe / Cruthaithe: (Москва, Форум, 2006)

Тестирование программного обеспечения. Внедрение, управление и эксплуатация: пер. с англ.
de réir: Рэшка Дж. Джефф
Foilsithe / Cruthaithe: (Москва, Лори, 2013)

Тестирование программного обеспечения учебное пособие
de réir: Бубнов А. А.
Foilsithe / Cruthaithe: (Рязань, РГРТУ, 2024)

Технологии разработки программного обеспечения; Разработка сложных программных систем: учебное пособие для вузов
de réir: Орлов С. А. Сергей Александрович
Foilsithe / Cruthaithe: (СПб., Питер, 2002)

Технология разработки программного обеспечения учебное пособие
de réir: Зубкова Т. М.
Foilsithe / Cruthaithe: (Оренбург, ОГУ, 2017)

Структурное проектирование и конструирование программ: пер. с англ.
de réir: Йодан Э.
Foilsithe / Cruthaithe: (Москва, Мир, 1979)

Экстремальное программирование: разработка через тестирование: пер. с англ.
de réir: Бек К. Кент
Foilsithe / Cruthaithe: (СПб., Питер, 2003)

Технологии разработки программного обеспечения. Современный курс по программной инженерии: учебник
de réir: Орлов С. А. Сергей Александрович
Foilsithe / Cruthaithe: (СПб., Питер, 2012)

Тестирование черного ящика. Технологии функционального тестирования программного обеспечения и систем: пер. с англ.
de réir: Бейзер Б. Борис
Foilsithe / Cruthaithe: (СПб., Питер, 2004)

Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования; Известия вузов. Физика; Т. 58, № 8
de réir: Кушик Н. Г. Наталья Геннадьевна
Foilsithe / Cruthaithe: (2015)

Задачи, программы, вычисления, результаты: пер. с англ.
de réir: Квиттнер П.
Foilsithe / Cruthaithe: (Москва, Мир, 1980)

Тестирование программного обеспечения учебное пособие для вузов
de réir: Игнатьев А. В.
Foilsithe / Cruthaithe: (Санкт-Петербург, Лань, 2025)

Python. Разработка на основе тестирования. Повинуйся Билли-тестировщику, используя Django, Selenium и JavaScript
de réir: Персиваль Г.
Foilsithe / Cruthaithe: (Москва, ДМК Пресс, 2018)

Оптимизация и тестирование численного кода для расчёта характеристик дифракционного излучения от плоских мишеней; Молодежь и современные информационные технологии
de réir: Дышеков А. А.
Foilsithe / Cruthaithe: (2019)

Технология разработки программного обеспечения учебное пособие
de réir: Зубкова Т. М.
Foilsithe / Cruthaithe: (Санкт-Петербург, Лань, 2022)

Ч. 2 : Руководство программиста; Система управления базами данных СЕТОР
Foilsithe / Cruthaithe: (1983)

Кн. 2: Технология, надежность и качество программного обеспечения; Техника разработки программ
Foilsithe / Cruthaithe: (2008)

Ч. 3; Шестнадцатая Всесоюзная школа-семинар по вычислительным сетям
Foilsithe / Cruthaithe: (1991)

Стандартизация и разработка программных систем: учебное пособие для вузов
de réir: Гусятников В. Н. Виктор Николаевич
Foilsithe / Cruthaithe: (Москва, Финансы и статистика, 2010)

Языки и методы программирования: учебно-методичекое пособие
de réir: Рыбалка С. А. Сергей Анатольевич
Foilsithe / Cruthaithe: (Томск, Изд-во ТПУ, 2014)

Проектирование и реализация прикладного программного обеспечения учебное пособие
de réir: Влацкая И. В.
Foilsithe / Cruthaithe: (Оренбург, ОГУ, 2015)