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

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

Bibliographische Detailangaben
Parent link:	Информационные технологии: теоретический и прикладной научно-технический журнал.— , 2000- № 7.— 2004.— С. 42-47э
1. Verfasser:	Липаев В. В.
Sprache:	Russisch
Veröffentlicht:	2004
Schriftenreihe:	Программирование
Schlagworte:	верификация тестирование программные средства функции применение взаимодействие спецификации требований спецификации текстов качество программ
Format:	Buchkapitel
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=394387

Ähnliche Einträge

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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