ソフトウェア工学(’13)

主任講師: 玉井 哲雄、中谷 多哉子

情報システムの本質であるソフトウェアについて、その原理的な構成方法を通じてその性質を理解する。それから、ソフトウェアの構築についての様々な方法論を学び、ソフトウェア構築についての明確な視点を涵養する。 検討中リストに追加

各回のテーマと放送内容

※テーマをクリックすると授業内容が表示されます。

第1回 ソフトウェアとは
ソフトウェアの基本的な性質とは何か。現代のさまざまなソフトウェアの特徴を、ビジネス系や組込み系などの種類とともに概観する。サービス指向、クラウド・コンピューティングなどの最近の話題にも触れる。
担当講師: 玉井 哲雄 (法政大学教授) 中谷 多哉子 (放送大学教授) 
第2回 ソフトウェアの不具合がもたらす社会的影響
ソフトウェアが社会にもたらすインパクトを、とくに不具合が生じた場合にもたらされる影響の具体例を挙げて解説する。そしてソフトウェアに求められる信頼性や安全性について議論する。
担当講師: 玉井 哲雄 (法政大学教授) 中谷 多哉子 (放送大学教授)
第3回 ソフトウェア工学の意義と方法
ソフトウェアを体系的な方法に基づいて開発するためのソフトウェア工学について、その意義を明らかにし、またこれまでの歴史を概観する。
担当講師: 玉井 哲雄 (法政大学教授) 中谷 多哉子 (放送大学教授)
第4回 ソフトウェアプロセス
ソフトウェア工学の研究と実践の対象となるのは、プロダクトとプロセスである。そのプロセスに焦点を当て、ソフトウェアのライフサイクルという考え方や、プロセスモデルの記述と実行などについて学ぶ。
担当講師: 玉井 哲雄 (法政大学教授) 中谷 多哉子 (放送大学教授)
第5回 要求分析
ソフトウェアのライフサイクルの最初のフェーズとしての、要求分析の方法について学習する。要求についてはその抽出から要求仕様の記述、要求の管理と追跡まで幅広く扱う。
担当講師: 玉井 哲雄 (法政大学教授) 中谷 多哉子 (放送大学教授)
第6回 モデル化技法とUML
本講座ではソフトウェア工学の中で中心となるモデル化技法について、統一的な視点で扱うことを一つの特徴とする。ここではモデルとは何かをまず議論し、さらにモデルの記述方法、とくに図式記法としてのUMLに焦点を当てる。
担当講師: 玉井 哲雄 (法政大学教授) 中谷 多哉子 (放送大学教授)
第7回 制御とデータのモデル
モデルの具体例としてデータの流れモデルと制御の流れモデルを取り上げ、さらにそれらのモデルを用いたソフトウェアの開発手法について学ぶ。
担当講師: 玉井 哲雄 (法政大学教授) 中谷 多哉子 (放送大学教授)
第8回 動的振る舞いのモデル
モデルの具体例として、ここでは状態遷移モデルを中心としたシステムの振舞いを記述するものを取り上げ、またそのモデルを用いたソフトウェアの開発手法について学ぶ。
担当講師: 玉井 哲雄 (法政大学教授) 中谷 多哉子 (放送大学教授)
第9回 オブジェクト指向開発
オブジェクト指向モデルを取り上げ、オブジェクト・モデルに基づくソフトウェア開発手法を学ぶ。ユースケースを用いた分析から、オブジェクトの同定、オブジェクト間の関係と相互作用の明確化、などを扱う。
担当講師: 玉井 哲雄 (法政大学教授) 中谷 多哉子 (放送大学教授)
第10回 形式手法
数学や論理学で使われる形式記述に基づいたソフトウェアの仕様定義と、それを用いた厳密な開発・検証手法を学ぶ。
担当講師: 玉井 哲雄 (法政大学教授) 中谷 多哉子 (放送大学教授)
第11回 設計技法
ソフトウェア・システムの設計手法として、アーキテクチャ設計、設計バターン、フレームワークの利用などを学ぶ。とくにWebシステムの開発を例として取り上げる。
担当講師: 玉井 哲雄 (法政大学教授) 中谷 多哉子 (放送大学教授)
第12回 検証技術
ソフトウェアのテスト、形式検証、見直し、などの検証技術を解説する。それにより、正しいソフトウェアが作られているか、およびソフトウェアが正しく作られているか、を検証する方法を学ぶ。
担当講師: 玉井 哲雄 (法政大学教授) 中谷 多哉子 (放送大学教授)
第13回 開発環境とツール
ソフトウェアの実装を含めた開発過程全般で用いられる環境を、代表的なツールとともに概観する。
担当講師: 玉井 哲雄 (法政大学教授) 中谷 多哉子 (放送大学教授)
第14回 保守と発展
ソフトウェアの保守・発展プロセスと、そこで必要となる技術について議論する。ハードウェアと比べた場合のソフトウェア保守の特徴と、スライシング、回帰テストなど保守に固有の手法について学ぶ。
担当講師: 玉井 哲雄 (法政大学教授) 中谷 多哉子 (放送大学教授)
第15回 プロジェクト管理
ソフトウェア開発プロジェクトの管理手法とそこで用いられるツールについて学ぶ。品質管理、コスト見積り、開発組織などを対象とする。
担当講師: 玉井 哲雄 (法政大学教授) 中谷 多哉子 (放送大学教授)

放送メディア:

ラジオ

放送時間:


2017年度 [第2学期] (水曜)
0時45分〜1時30分

単位認定試験 試験日・時限:

2017年度 [第2学期]
2018年1月20日 (土曜)
3時限 (11時35分~12時25分)

開設年度:

2013年度

科目区分:

大学院科目

科目コード:

8970041

単位数:

2単位
このページの先頭へ