Web Syllabus(講義概要)

本科目の主な学習項目は以下の通りです。(1) ソフトウェア開発プロセスモデル（ウォーターフォール型モデル、アジャイルプロセス型モデル、スパイラル型モデル、等）。（2）ソフトウェア開発プロセスモデルの各フェーズ（要求分析、設計、プログラミング、テスト、運用・保守）。（3）ソフトウェア開発技法（構造化技法、オブジェクト指向方法論）。（4）形式手法・検証技術（形式仕様言語、モデル検査技術、定理証明系、SAT技術、等）。

本科目では、以下を目標とします。（1）ソフトウェア開発プロセスモデルのメリットとデメリットを理解すること。（2）ソフトウェア開発プロセスモデルの各フェーズを評価できるようになること。（3）ソフトウェア開発技法のメリットとデメリットについて理解すること。（4）形式手法および検証技術について理解すること。

基本的には、期末試験（30パーセント）、中間試験（40パーセント、LMSで実施）、小テスト（30パーセント、LMSで実施）により成績を評価します。場合によっては研究レポートのみ（100パーセント）で成績を評価することもあります。

教科書：　
なし。LMS上に教材（ビデオ教材、スライド、その他学習資料）を提示します。
参考書：　
[1] 高橋直久、丸山勝久（著）『ソフトウェア工学（情報工学レクチャーシリーズ）』森北出版。
[2] Michael Huth and Mark Ryan『Logic in Computer Science: Modelling and Reasoning about Systems』 Cambridge University Press.

本科目では、各回においてLMS上で小テスト（オンラインテスト）を実施します。各回の授業後にこの小テストを受験して下さい。各回の授業のビデオコンテンツがLMS上で配信されます。また、授業の発展的内容に関するビデオコンテンツもLMS上で配信されます。最近の論文や講師による論文などもLMS上に提示されます。

授業ではLMSを使用します。各回の学習資料がLMS上に提示されます。授業にはこれら学習資料をプリントアウトして持ち込んで下さい。