Верификация и тестирование сложных программных средств

Верификация и тестирование сложных программных средств

Dades bibliogràfiques
Parent link:	Информационные технологии: теоретический и прикладной научно-технический журнал.— , 2000- № 7.— 2004.— С. 42-47э
Autor principal:	Липаев В. В.
Publicat:	2004
Col·lecció:	Программирование
Matèries:	верификация тестирование программные средства функции применение взаимодействие спецификации требований спецификации текстов качество программ
Format:	Capítol de llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=394387

Ítems similars

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

Верификация и тестирование программных систем учебное пособие для вузов
per: Смирнова Н. Н.
Publicat: (Санкт-Петербург, БГТУ "Военмех" им. Д.Ф. Устинова, 2014)

Теория соответствия для систем с блокировками и разрушениями
per: Бурдонов И. Б.
Publicat: (Москва, ФИЗМАТЛИТ, 2008)

Проектирование, разработка и оценка надежности сложных программных систем
per: Царев Р. Ю.
Publicat: (Красноярск, КрасГАУ, 2017)

Новые SCADAPack от ПЛКСистемы
Publicat: (2006)

Верификация программного обеспечения учебное пособие
per: Синицын С. В. Сергей Владимирович
Publicat: (Москва, БИНОМ. Лаборатория знаний, 2008)

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

Специфика работы и основные требования к должности экономиста
per: Лушина Т. Э.
Publicat: (2013)

Тестирование программных продуктов. Часть 1 Учебно-методическое пособие к выполнению лабораторных работ и для самостоятельной работы
per: Елизаров Д. А.
Publicat: (Омск, ОмГУПС, 2023)

Управление требованиями к бизнес-приложениям учебное пособие
per: Иванова Е. А.
Publicat: (Краснодар, КубГАУ, 2019)

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

Технология программирования учебник для вузов
per: Иванова Г. С. Галина Сергеевна
Publicat: (Москва, КноРус, 2011)

Решение задач на компьютерах. Спецификация задачи
per: Москвитин А. А.
Publicat: (Санкт-Петербург, Лань, 2022)

Вып. 6
Publicat: (2003)

Технологии информационного моделирования зданий в инвестиционно-строительной деятельности учебно-методическое пособие
per: Суркова Л. Е.
Publicat: (Москва, МИСИ – МГСУ, 2021)

Оценка качества, стандартизация и сопровождение программных систем
per: Аронов В. Ю.
Publicat: (Самара, ПГУТИ, 2018)

Инструментальные средства для автоматизированных систем обработки информации и управления учебное пособие
per: Лунев А. В.
Publicat: (Москва, РТУ МИРЭА, 2023)

Спецификация по 3D-модели сборочной единицы в САПР «КОМПАС- 3D» учебно-методическое пособие
per: Вербицкий Р. А.
Publicat: (Москва, РТУ МИРЭА, 2023)

Технико-экономическое обоснование проектов сложных программных средств
per: Липаев В. В. Владимир Васильевич
Publicat: (Москва, СИНТЕГ, 2004)

Управление конструкторскими спецификациями в КИС "Omega Production
per: Кукареко Е. П.
Publicat: (2005)

Основы САПР: лабораторный практикум
per: Атаманов А. А.
Publicat: (Красноярск, СибГУ им. академика М. Ф. Решетнёва, 2023)

Анализ и сокращение рисков проектов сложных программных средств
per: Липаев В. В. Владимир Васильевич
Publicat: (Москва, СИНТЕГ, 2005)

Инженерная графика. «Соединения деталей. Сборочный чертеж» учебно-методическое пособие для обучающихся по направлению подготовки 35.03.06 агроинженерия
per: Алдохина Н. П.
Publicat: (Санкт-Петербург, СПбГАУ, 2018)

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

Разработка информационной модели здания учебно-методическое пособие
per: Князева Н. В.
Publicat: (Москва, МИСИ – МГСУ, 2019)

Основы проектирования информационных систем с помощью языка UML учебное пособие
per: Забродин А. В.
Publicat: (Санкт-Петербург, ПГУПС, 2018)

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

Структура АЛГОЛ-60 и его использование пер. с англ.
per: Боттенбрух Г.
Publicat: (Москва, Изд-во иностранной литературы, 1963)

Анализ рисков в жизненном цикле сложных программных средств
per: Липаев В. В.
Publicat: (2003)

Методы и средства автоматического синтеза параллельных программ на базе теории структурных функциональных моделей
per: Коваленко Д. А. Дмитрий Алексеевич
Publicat: (2008)

Тестирование программ
per: Липаев В. В. Владимир Васильевич
Publicat: (Москва, Радио и связь, 1986)

Верификация цифровых устройств: курс лекций учебное пособие
per: Скитев А. А.
Publicat: (Москва, НИЯУ МИФИ, 2020)

Процессы и стандарты жизненного цикла сложных программных средств справочник
per: Липаев В. В. Владимир Васильевич
Publicat: (Москва, СИНТЕГ, 2006)

Автоматизированные технологии проектирования узлов и деталей вагонов: конспект лекций
per: Балалаев А. Н.
Publicat: (Самара, СамГУПС, 2022)

Обоснование и разработка требований к программным системам учебное пособие
per: Бирюкова А. А.
Publicat: (Москва, РТУ МИРЭА, 2022)

Программная инженерия и технологии программирования сложных систем учебник для вузов
per: Лаврищева Е. М. Екатерина Михайловна
Publicat: (Москва, Юрайт, 2019)

Информационное моделирование объектов строительства: практикум
per: Кирколуп Е. Р.
Publicat: (Барнаул, АлтГТУ, 2020)

Принципы верификации и тестирования моделей искусственного интеллекта учебное пособие для вузов
per: Золкин А. Л.
Publicat: (Санкт-Петербург, Лань, 2025)

Верификация проектов в системах автоматизированного проектирования
per: Деменкова Т. А.
Publicat: (Москва, РТУ МИРЭА, 2022)

Технология разработки нормативно-технической документации учебно-методическое пособие
per: Копылова Е. В.
Publicat: (Москва, РТУ МИРЭА, 2023)