Поиск

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

Авторы: Демин, А. А. Карпунин, А. А. Ганев, Ю. М.
Краткая информация
Маркер записи n
Контрольный номер RU/IS/BASE/477654807
Дата корректировки 22:11:20 13 октября 2015 г.
Служба первич. каталог. Боровик
Код языка каталог. rus
Правила каталог. PSBO
Код языка издания rus
Индекс УДК 681.3
Демин, А. А.
Методы верификации и валидации сложных программных систем
Текст
Иллюстрации/ тип воспроизводства ил.
Библиография Библиогр.: 12 назв.
качество программных изделий
верификация
валидация
сложные программные системы
Другие авторы Карпунин, А. А.
Ганев, Ю. М.
Программные продукты и системы
2014
№ 4. - С. 229-233
Тип документа b