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

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

Bibliographic Details
Parent link:	Информационные технологии: теоретический и прикладной научно-технический журнал.— , 2000- № 7.— 2004.— С. 42-47э
Main Author:	Липаев В. В.
Language:	Russian
Published:	2004
Series:	Программирование
Subjects:	верификация тестирование программные средства функции применение взаимодействие спецификации требований спецификации текстов качество программ
Format:	Book Chapter
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=394387

Similar Items

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

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

Разработка программных приложений учебник
by: Хабаров А. Н.
Published: (Ставрополь, СтГАУ, 2025)

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

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

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

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

Алгоритм разработки психодиагностического опросника учебно-методическое пособие
by: Акимова А. Ю.
Published: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Тестирование, автоматизация и процессы на экспертном уровне
by: Тюлькин И. В.
Published: (Москва, ДМК Пресс, 2025)

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

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

Расчет эксплуатационных характеристик и параметров асинхронных двигателей учебно-методическое пособие
by: Высоцкий В. Е.
Published: (Севастополь, СевГУ, 2020)

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

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

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

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

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

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

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

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

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

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

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

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

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

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