ソフトウェア工学

Google Classroom:
https://classroom.google.com/c/NzUyNjE3NjI5NDg5?cjc=yc7qda4o

テストと形式手法を軸に, ソフトウェアに関する基礎概念と方法論を学ぶ.
これにより,

* ソフトウェアを理解・作成・改善する際の適切な態度
* テストや形式手法をソフトウェア開発に取り入れる技術

の獲得を目指す.

特定の科目の履修を前提にすることはないが,

* プログラミング言語の基本概念(例えば「プログラム言語論」相当)
* 集合論と記号論理の数学記法(例えば「離散数学」相当)

についての知識は前提とする.
特に, 「プログラム言語論」で扱うプログラミングパラダイムは, 本科目との関連性が高い.
両方履修すると, プログラミングの方法論がより深く理解できるように設計されている.

本科目の理解の助けになるであろう科目や経験は次の通り:

* 「言語処理系論」
* 「オペレーティングシステム論」
* 他者のプログラムを読み書きした経験
* 他者のためにプログラミングした経験

授業教材はオンライン資料として配布する.
その中に, 参考資料を適宜記載する.

授業内容:

1. ガイダンス, イントロダクション
2. ソフトウェアとは何か
3. 可読性と保守性
4. モジュール性と抽象性
5. 表明と契約
6. テストとテストケース
7. テスト自動化
8. GitとGitHub
9. モデル検査:Alloy
10. 安全性と活性
11. 記号実行とホーア論理
12. ソフトウェアモデル検査:SLAM
13. ホワイトボックスファジング:SAGE
14. 例によるプログラミング:Flash Fill
15. まとめ

進め方:

* 12回以降は発展的内容なので, 授業進度に合わせて内容を取捨選択する.
* 各回にコメントフィードバックを求め, 次回で適宜取り上げる.

* 各回のコメントフィードバック, 及びそれに係る復習・自習
* 期末試験, 及びそれに係る復習
* レポート課題, 及びそれに係る自習(プログラミングを含む)

成績評価方法:

各回のコメントフィードバック・期末試験・レポート課題から総合的に判断する.
ただし, コメントフィードバックは, 補助的な位置付けであり, レポート課題は, 発展的なオプション課題である.

評価基準:

授業で扱ったソフトウェアに関する基礎概念と方法論を理解し, 自ら扱うことができるかを評価する.
期末試験の受験は, 単位取得において必須とする.
尚, オプションのレポート課題を提出しなくても, 他が十分良くできていれば, 「優」が取れるように調整する見通しである.

Google Classroomで受け付ける.

ソフトウェアを使っているだけでは, 「ソフトウェア」は分からない.
プログラミングをしているだけでも, 「ソフトウェア」は分からない.
ソフトウェアを作れるようになるには, 「ソフトウェア」を学ばなければならない.

火2開講