ソフトウェア工学(計算機)

科目ナンバリング U-ENG29 39099 LJ11 開講年度・開講期 2021 ・ 後期
単位数 2 単位 授業形態 講義
配当学年 対象学生
使用言語 日本語 曜時限 月4
教員 伊藤 孝行 (情報学研究科 教授)
渥美 紀寿 (情報環境機構 助教)
星野 寛 (非常勤講師)
授業の概要・目的 ソフトウェア工学とは、高品質な情報システムを開発するための理論・技術・手法・規律など様々な学問分野の総称である。ソフトウェア工学が対象とする情報システムとは、組織、社会、あるいは個人における様々な活動に関連する情報を取り扱うシステムでありこれを正しく低コストで迅速に開発することは社会要請となっている。本講義では、情報システム開発に関わる様々な側面について解説する。
到達目標 高品質な情報システムを正しく低コストで迅速に開発するための理論・技術・手法について理解する。
授業計画と内容 第1回 ソフトウェア工学概説
    ソフトウェア工学が対象とする情報システムの開発手順や組織、開発の管理について概説する。
第2回 ソフトウェアプロセスモデルとライフサイクル
    ソフトウェアプロセスモデルとライフサイクルについて解説する。
第3回 要求分析
    要求獲得や分析、要求の文書化などに用いられる技術や、システムのモデル化手法について解説する。
第4回 システム設計
    ソフトウェアアーキテクチャの設計、オブジェクト指向設計プロセスについて解説する。
第5回 品質管理とプロジェクト管理
    ソフトウェアのプロジェクト管理と品質管理を説明し、その重要性について解説する。
第6回 実践的ソフトウェア工学:クリティカルシステム
    ウーバの自動運転実証実験中の事故を例として、クリティカルシステムの設計について考察する。
第7回 実践的ソフトウェア工学:アクセシビリティ
    ユニバーサルデザインの実例としてスマホのアクセシビリティを取り上げ、インクルーシブ社会でのソフトウェアについて考察する。
第8回 実践的ソフトウェア工学:ビジネス創生
    ビジネスモデルを理解して開発するソフトウェアの要求を捉えることの重要性について解説する。
第9回 実践的ソフトウェア工学:契約としての要求仕様
    ソフトウェア開発は、契約の締結からスタートするが、最終納品物及び納品後の保守に関する事項を明確に定義することが必要である。ソフトウェア開発におけるトラブルの事例を示し、契約書に明記すべき要件について説明する。
第10回 ソフトウェアモジュール
     モジュール分割の方法およびモジュールの評価方法について解説する。
第11回 ソフトウェアテスト
     システムが正しく作られていることをテストにより検証する手法について解説する。
第12回 形式手法
     システムが正しく作られていることを検証する手法の一つである形式的手法について解説する。
第13回 ソフトウェアメトリクス
     ソフトウェアの規模、複雑さ、保守性などソフトウェアを様々な観点で定量的に評価する手法について解説する。
第14回 ソフトウェアの保守と発展
     長く利用されるソフトウェアを構築するために必要となる技術について解説する。
第15回 学習到達度の確認
     本講義の内容に関する到達度を確認(講評)する。
成績評価の方法・観点 定期試験で評価する。ただし、講義中にレポートを出題する場合は、提出されたレポートと定期試験を総合して評価する。
履修要件 プログラミング言語(90170),オペレーティングシステム(91030),データ構造(91000).
授業外学習(予習・復習)等 講義時に使用する資料、レポート問題などは Web ページ(学内限定)を通じて配布する。受講に際しては、該当する回の講義資料を印刷して持参することをお勧めする。アクセス方法などは初回講義時に説明する。
当該年度の授業回数などの必要に応じて、一部省略や追加、順序の変更があり得る。
教科書 実践的ソフトウェア工学, 浅井 治, (近代科学社)
参考書等 Software Engineering 10th Edition, Ian Sommerville, (Pearson), ISBN:9780133943030
プログラム仕様記述論, 荒木 啓二郎, 張 漢明, (オーム社), ISBN:4274132633
ソフトウェア科学基礎, 磯部 文洋, 粂野 文洋, 櫻庭 健年, 田口 研治, 田原 康之, (近代科学社), ISBN:9784764903555
Bメソッドによる形式仕様記述, 来間 啓伸, (近代科学社), ISBN:9784764903470
ソフトウェア工学の基礎, 玉井 哲雄, (岩波 書店), ISBN:9784000056083
ソフトウェア工学, 岸 知二,野田 夏子, (近代科学者), ISBN:9784764905092
実践ソフトウェアエンジニアリング, ロジャー S.プレスマン, (日科技連出版社), ISBN:9784817161482
品質と生産性を重視したソフトウェア開発プロジェクト技法, Tom DeMarco, (近代科学社), ISBN:9784764901339
関連URL
PAGE TOP