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

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

Bibliografiske detaljer
Parent link:	Информационные технологии: теоретический и прикладной научно-технический журнал.— , 2000- № 7.— 2004.— С. 42-47э
Hovedforfatter:	Липаев В. В.
Sprog:	russisk
Udgivet:	2004
Serier:	Программирование
Fag:	верификация тестирование программные средства функции применение взаимодействие спецификации требований спецификации текстов качество программ
Format:	Book Chapter
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=394387

Lignende værker

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

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

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

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

Моторные масла: производство, свойства, классификация, применение
Udgivet: (Москва, Альфа-Лаб, 2000)

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

Новые SCADAPack от ПЛКСистемы; Промышленные АСУ и контроллеры; № 3
Udgivet: (2006)

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

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

Специфика работы и основные требования к должности экономиста; Актуальные проблемы гуманитарных наук
af: Лушина Т. Э.
Udgivet: (2013)

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

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

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

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

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

Вып. 6; Исследования по информатике
Udgivet: (2003)

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

Вып. 165 : Структурные и сложностные проблемы вычислимости; Вычислительные системы
Udgivet: (1999)

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

Управление конструкторскими спецификациями в КИС "Omega Production; Промышленные АСУ и контроллеры; № 7
af: Кукареко Е. П.
Udgivet: (2005)

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

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

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

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

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

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

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

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

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

Вып. 146 : Логика и семантическое программирование; Вычислительные системы
Udgivet: (1992)

Методы и средства автоматического синтеза параллельных программ на базе теории структурных функциональных моделей; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика
af: Коваленко Д. А. Дмитрий Алексеевич
Udgivet: (2008)

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

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

Системная информатика: Сборник научных трудов; Вып. 7; Проблемы теории и методологии создания параллельных и распределенных систем
Udgivet: (Новосибирск, Наука, 2000)

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

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

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

Анализ рисков в жизненном цикле сложных программных средств; Информационные технологии; № 3
af: Липаев В. В.
Udgivet: (2003)

Ч. 2; Инженерная графика
Udgivet: (2000)

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