プロジェクト管理工学

今，PMBOK(Project Management Body of Knowledge) と呼ばれるプロジェクト・マネジメントのための知識体系を基にした，プロジェクト・マネジメントの国際資格PMP (Project Management Professional)が注目を浴びており，PMPの取得を管理職登用への条件とする企業が急増しつつある。しかし，PMBOKは異業種間に共通な知識のみを扱っているので，ソフトウェア開発プロジェクトに固有な知識は全く含まれていない。しかも，非IT分野のプロジェクトから生まれた知識体系なので，ソフトウェアという目に見えないものを対象とし，頭脳労働による生産活動を主体としたプロジェクトをマネ−ジするための知識としては不十分である。このため，この授業では，ソフトウェア開発プロジェクトを成功へ導くための戦略的知識(理論)と，その活用を可能にする方法(技能)を学ぶ。
　この戦略的知識は次の４つから構成される。
(1)ソフトウェアライフサイクルモデルの知識(技能)とその使い分けのための基準(理論)
(2)ソフトウェア設計法の知識(技能)と，その使い分けのための基準(理論)
(3)フォーマルメソッド(形式的仕様記述に基づくソフトウェア開発法)の知識(技能)と，
　その使い分けのための基準(理論)
(4)プログラミング言語の知識(技能)と，その使い分けのための基準(理論)
　(1)と(4)はソフトウェア工学Bの授業で学ぶので，この授業では(2)と(3)を学ぶ。

達成目標

1.	ソフトウェア設計法がどのような原理でできているかを理解する。
2.	各種のソフトウェア設計法における設計手順(技能)などを学ぶ。
3.	良いソフトウェア設計法と悪いソフトウェア設計法の見分け方を理解する。しかる後に，開発対象となるソフトウェアの性質に合わせて，ソフトウェア設計法を選択するための方法を理解する。
4.	フォーマルメソッド(形式的仕様記述に基づくソフトウェア開発法)の考え方を理解する。
5.	各種のフォーマルメソッドの適用方法(技能)を学ぶとともに，各方法の技術的限界を理解し，それに基づく使い分け方法を理解する。

授業計画

1.	プロジェクトとは何か，PMBOKとは何か
2.	ソフトウェア設計とは何か，ソフトウェア設計法とは何か
3.	Functional viewに基づくオブジェクト指向ソフトウェア設計法(OOSE法)
4.	Behavioral viewに基づくオブジェクト指向ソフトウェア設計法(OMT法)
5.	Behavioral viewに基づくオブジェクト指向ソフトウェア設計法(OMT法の続き)
6.	Data viewに基づくソフトウェア設計法(Wernier法とJSP法)
7.	Data viewに基づくソフトウェア設計法(JSP法の続き)
8.	Scenario view に基づくソフトウェア設計法(JSD法)
9.	Scenario viewに基づくソフトウェア設計法(JSD法の続き)
10.	各種ソフトウェア設計法の特徴(長所と短所)とそれに基づく使い分け方法
11.	プログラム理論とFormal method
12.	Axiomatic semanticsに基づくプログラム導出法
13.	VDMやRAISEに基づくソフトウェア開発法
14.	ZやObject−Zに基づくソフトウェア開発法
15.	Formal methodの課題とそれに基づく使い分け方法

評価方法と基準

教科書・参考書

教科書：　M. Ould著，古宮誠一・本位田真一監訳「ソフトウェア技術者のためのプロジェクト管理の成功への秘訣」(共立出版)
参考書１：　紫合治著「プログラム工学　−実装，設計，分析，テスト−」(サイエンス社)
参考書２：　大木幹雄著「ソフトウェア設計の基礎」(日本理工出版会)

開講部	工学部
開講学科	情報工学科
開講学年	3年次
開講時期	前期
単位数	2
単位区分	選択
系列区分	専門
講義区分	講義

L0115100

授業の概要

達成目標

授業計画

評価方法と基準

教科書・参考書

履修前の準備

学習・教育目標との対応

オフィスアワー

環境との関連