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

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

Bibliographic Details
Main Author:	Синицын С. В. Сергей Владимирович
Other Authors:	Налютин Н. Ю. Никита Юрьевич
Summary:	Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.
Published:	Москва, БИНОМ. Лаборатория знаний, 2008
Series:	Основы информационных технологий
Subjects:	программное обеспечение программные коды тестирование документация модульное тестирование интеграционное тестирование системное тестирование устойчивые коды разработка промышленная разработка семинары программы учебные пособия
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=151489

Similar Items

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

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

Методы верификации и оценки качества программного обеспечения учебное пособие
by: Семахин А. М.
Published: (Курган, КГУ, 2018)

Жемчужины программирования пер. с англ.
by: Бентли Д. Джон
Published: (СПб., Питер, 2002)

Тестирование программного обеспечения учебник для вузов
by: Щербак А. В. Алексей Викторович
Published: (Москва, Юрайт, 2025)

Эффективное тестирование программного обеспечения
by: Аниче М.
Published: (Москва, ДМК Пресс, 2023)

Тестирование программного обеспечения учебное пособие для вузов
by: Щербак А. В. Алексей Викторович
Published: (Москва, Юрайт, 2025)

Управление разработкой ПО пер. с англ.
by: Пайлон Д. Дэн
Published: (Санкт-Петербург, Питер, 2014)

Технология разработки программного обеспечения учебное пособие
by: Гагарина Л. Г. Лариса Геннадьевна
Published: (Москва, Форум, 2013)

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

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

Верификация и тестирование сложных программных средств
by: Липаев В. В.
Published: (2004)

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

Технология разработки программного обеспечения
by: Брауде Э. Д. Эрик Дж.
Published: (СПб., Питер, 2004)

Программная инженерия. Тестирование и контроль качества программного обеспечения учебное пособие для вузов
by: Турнецкая Е. Л.
Published: (Санкт-Петербург, Лань, 2025)

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

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

Технологии разработки программного обеспечения Разработка сложных программных систем учебное пособие для вузов
by: Орлов С. А. Сергей Александрович
Published: (СПб., Питер, 2002)

Основы технологии разработки программных продуктов учебное пособие
by: Гагарина Л. Г. Лариса Геннадьевна
Published: (Москва, Форум, 2006)

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

Адаптивные технологии разработки программного обеспечения учебное пособие
by: Андреев А. Е.
Published: (Волгоград, ВолгГТУ, 2015)

Тестирование программного обеспечения учебное пособие
by: Бубнов А. А.
Published: (Рязань, РГРТУ, 2024)

Структурное проектирование и конструирование программ пер. с англ.
by: Йодан Э.
Published: (Москва, Мир, 1979)

Экстремальное программирование: разработка через тестирование пер. с англ.
by: Бек К. Кент
Published: (СПб., Питер, 2003)

Технология разработки программного обеспечения учебное пособие
by: Зубкова Т. М.
Published: (Оренбург, ОГУ, 2017)

Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования
by: Кушик Н. Г. Наталья Геннадьевна
Published: (2015)

Тестирование черного ящика. Технологии функционального тестирования программного обеспечения и систем пер. с англ.
by: Бейзер Б. Борис
Published: (СПб., Питер, 2004)

Задачи, программы, вычисления, результаты пер. с англ.
by: Квиттнер П.
Published: (Москва, Мир, 1980)

Технологии разработки программного обеспечения. Современный курс по программной инженерии учебник
by: Орлов С. А. Сергей Александрович
Published: (СПб., Питер, 2012)

Тестирование программного обеспечения учебное пособие для вузов
by: Игнатьев А. В.
Published: (Санкт-Петербург, Лань, 2025)

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

Оптимизация и тестирование численного кода для расчёта характеристик дифракционного излучения от плоских мишеней
by: Дышеков А. А.
Published: (2019)

Технология разработки программного обеспечения учебное пособие
by: Зубкова Т. М.
Published: (Санкт-Петербург, Лань, 2022)

Ч. 2 : Руководство программиста
Published: (1983)

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

Ч. 3
Published: (1991)

Тестирование программного обеспечения и отработка алгоритмов АСУТП для нефтегазового комплекса
by: Грибов В. В.
Published: (2005)

Автоматизация тестирования программного обеспечения
by: Цапко И. В. Ирина Валериевна
Published: (2022)

Автоматизация тестирования: для чего?
by: Салапаев А. И.
Published: (2018)

Стандартизация и разработка программных систем учебное пособие для вузов
by: Гусятников В. Н. Виктор Николаевич
Published: (Москва, Финансы и статистика, 2010)