組込みのための要求工学D01-03
講義概要
講座日程：2016年7月5日(１日間）
要求工学（ソフトウェア開発における要求仕様化プロセスを工学的に定式化する技術）について組込み向けに講義する。
講師システム安全検証センター 山本 修一郎
1977年名古屋工業大学情報工学科卒業．1979年名古屋大学大学院工学研究科情報工学専攻修了。同年日本電信電話公社入社。2002年（株）NTTデータ 技術開発本部 副本部長．2007年同社初代フェロー、システム科学研究所 所長．2009年東京工業大学 統合研究院 医療情報プロジェクト 特任教授．同年名古屋大学 情報連携統括本部 情報戦略室 教授．2013年より、システム安全検証センターアドバイ。 ソフトウェア工学、要求工学、ICカードプラットフォーム、ユビキタスコンピューティング、知識創造デザインの研究に従事。
講義内容
要求工学の目的を理解するとともに、組込みシステム開発で重要となる実践的な要求工学手法について学ぶ。とくに、安全性などの非機能要求、ゴール指向要求工学、状態モデル、要求レビューなどを総合的に結び付けて解説する。なお組込みシステムの共通事例として、「話題沸騰ポット要求仕様書」「ASTER自動販売機ユースケース仕様書」などを分析する。
講義内容
- 要求工学の目的と位置づけ
- 要求工学プロセス
- 組込みシステムの要求と参照モデル
- 組込みシステムの要求レビュ
- 演習
受講要件
特になし
教科書
- 講義２週間前に電子ファイル送付（事前学習を推奨）
講義に関連する解説記事・参考文献等
- 山本 修一郎（著）、要求定義･要求仕様書の作り方、ソフト･リサーチ･センター、2006
- 山本 修一郎（著）、ゴール指向によるシステム要求管理、ソフト･リサーチ･センター、2007
- 山本 修一郎（著）、非機能要求とゴール指向要求定義、情報処理学会誌、vol.49、No.4、pp.371-379、 2008
- 山本 修一郎（著）、独立検証確認と形式手法がもたらすソフトウェア開発プロセスの改革, IPA SEC Journal, vol.6, no.3, pp.146-149, 2010
- 山本 修一郎（著）、 要求工学、ビジネスコミュニケーション、
http://www.bcm.co.jp/site/youkyu/
