1．仕様化とはなにか
(1)仕様とは
(2)要求工学基礎
(3)演習

2．要求をまとめあげる技術
(1)モデリング技術とは
(2)UML/SysMLの基礎
(3)演習

3．要求仕様を書く技術 - 自然言語
(1)ユースケースのモデリング
(2)状態のモデリング
(3)手続きのモデリング

4．要求仕様を書く技術 - モデル化
(1)アーキテクチャの構築
(2)トレードオフの考え方
(3)アーキテクチャの洗練

5．その他の仕様化関連技術(要求分析プロセスなど)
(1)トレーサビリティ
(2)合意形成 - ファシリテーション
(3)形式的手法
(4)派生開発

6．まとめ
(1)実習の全体的な講評及び確認・評価

≪担当予定講師≫
株式会社リコー 牧 隆史（博士（情報工学））　著書「情報処理教科書エンベデッドシステムスペシャリスト」など