形式手法とは
ソフトウェア開発における要求工学の技術は、この30年で大きな進展があった。この授業では、要求工学のプロセスを学んだ後、要求獲得、要求の品質保証、シナリオ分析、ゴール指向分析、形式的手法の適用、要求管理などと多岐に渡る領域を網羅して、要求工学の基礎を学ぶ。
放送授業等のインターネット配信を視聴できます。
オンライン授業のご案内と受講確認のためのサイトです。
全国の講演会情報を確認できます。
面接授業のページに移動できます。
