20088

Автор(ы): 

Жарко Е. Ф. (ИПУ РАН, Лаборатория 31)

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

ВЕРИФИКАЦИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В СИСТЕМЕ ОБЕСПЕЧЕНИЯ КАЧЕСТВА ДЛЯ ОБЪЕКТОВ ПОВЫШЕННОГО РИСКА ЭКСПЛУАТАЦИИ

ISBN/ISSN: 

978-5-91450-119-5

Наименование конференции: 

  • 6-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Наименование источника: 

  • Труды 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Обозначение и номер тома: 

Т. 2

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

256-263
Аннотация
В докладе рассматривается место верификации в системе обеспечения качества программного обеспечения, предназначенного для систем с повышенным риском эксплуатации

Библиографическая ссылка: 

Жарко Е.Ф. ВЕРИФИКАЦИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В СИСТЕМЕ ОБЕСПЕЧЕНИЯ КАЧЕСТВА ДЛЯ ОБЪЕКТОВ ПОВЫШЕННОГО РИСКА ЭКСПЛУАТАЦИИ / Труды 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. Т. 2. С. 256-263.