Книга: С. В. Синицын, Н. Ю. Налютин «Верификация программного обеспечения»
|
Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивыхпрограммных систем. Издательство: "Бином. Лаборатория знаний"
ISBN: 978-5-94774-825-3 |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| Сергей Зыль | Проектирование, разработка и анализ программного обеспечения систем реального времени (+ CD-ROM) | От издателя:Рассмотрены фундаментальные теоретические концепции систем реального времени, функциональная… — (формат: 60x90/16 (145х217 мм), 336стр. (таблицы) стр.) Подробнее... | 2010 | 160 | бумажная книга |
См. также в других словарях:
Тестирование программного обеспечения — Разработка программного обеспечения Процесс разработки ПО Шаги процесса Анализ • Проектирование • Программирование • Докумен … Википедия
Цикл разработки программного обеспечения — Эта статья предлагается к удалению. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/30 июля 2012. Пока процесс обсуждения … Википедия
Верификация — Позитивизм … Википедия
верификация (с точки зрения электробезопасности) — … Справочник технического переводчика
верификация — 02.02.03 верификация (символ) [verification]: Техническая процедура проверки, посредством которой производят измерения символа для определения его соответствия требованиям спецификации к этому символу. Источник … Словарь-справочник терминов нормативно-технической документации
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
