内容紹介

IoTや組込み機器など、ソフトウェアが社会基盤を支える時代に必要となるソフトウェアの信頼性を確保する手法について、基本的な考え方を整理し、どのような形で技術を組み合わせて適用すべきかを考える。また、検証技術とソフトウェアのテスト技術を組み合わせて応用する技法について解説する。

詳細情報

刊年

2015

形態

電子化映像資料(36分19秒)

シリーズ名

情報科学研究科・ゼミナール講演 ; 平成27年度

注記

講演者所属: 産業技術総合研究所

講演日: 平成27年10月26日

講演場所: 情報科学研究科大講義室L1

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Artho, Cyrille