2022 ソフトウェア工学 二年 後期 月曜日 五限

場所: 6-301

スケジュール

  1. 09/26 ガイダンス ツールについて [PDF]
    10/03 休講 11/5に補講予定 10/10は普通に祭日で授業無し
  2. 10/17 ICONIXに基づくソフトウェア開発 [PDF]
  3. 10/24 ロバストネス分析 [PDF]
    演習1 webclass参照
  4. 10/31 クラス図,シーケンス図 [PDF] サンプルファイル等 [ZIP]
  5. 11/05/土 4時限(15:20-) 6-301 ★補講 状態遷移図,アクティビティ図等,品質特性 [PDF] サンプルファイル等 [ZIP]
  6. 11/07 デザインパターン [PDF]
    演習2 webclass参照 11/28 正午まで
  7. 11/14 設計からコードへ セキュアコーディング等 [PDF]
  8. 11/21 テスト,レビュー,バグ管理 [PDF]
  9. 11/28 形式手法 [PDF]
    演習3 この問題 における11番の機能に関するテストケースを記述せよ. ディシジョンテーブルを用いよ. MSエクセル等を用いて表形式で記述せよ. 〆切 12/12 12/19 提出先 webclass
  10. 12/05 品質と保守 [PDF],メトリックス [HTML]
  11. 12/12 プロダクトライン [PDF] サンプル [ZIP], トレーサビリティ [PDF], ゴールモデルのトレース (時間があれば)
    演習4 自身が関心のある製品群に関するフィーチャーモデルを記述せよ. 例えば,SNS, 物品販売サイト,テキストエディタ, LMS等の製品を対象としてよい. 携帯電話やスマートスピーカー等,ハードウェアが関係する部分を含んでも良い. 記述は astah を使って,クラス図を用いた代替記述法(授業スライド参照)で記述せよ. 〆切: 12/31 提出先 webclass
  12. 12/19 ウェブアプリケーション [PDF] サンプル [ZIP]
  13. 01/16 構成管理,版管理,IDE, プラグイン [PDF]
    演習5 githubとvscode 月末〆切!
    演習6 感想文 月末〆切!
  14. 01/23 フレームワーク [資料はwebclass] データベース [PDF] サンプル [ZIP]
関連ページ 参考文献
  1. 高橋 直久, 丸山 勝久. ソフトウェア工学 森北出版. 2010.
  2. 中所 武司. ソフトウェア工学 (第3版) 朝倉書店 2014.
  3. 中谷 多哉子, 中島 震. ソフトウェア工学 (放送大学大学院教材) NHK出版 2019.
  4. 小森 祐介. なぜ,あなただけJavaでオブジェクト指向開発ができないのか? 技術評論社 2004.
  5. 掌田 津耶乃. Javaビルドツール入門 秀和システム 2017.
  6. ダグ・ローゼンバーグ. ユースケース駆動開発実践ガイド. 翔泳社. 2007.
  7. Bertrand Meyer. Object-Oriented Software Construction, 2nd edition, Prentice Hall, 2000.
  8. IPA セキュア・プログラミング講座
  9. JPCERT セキュアコーディング
  10. Watts S. Humphrey. A Discipline for Software Engineering, Addison-Wesley Professional, 1994.
  11. 産業技術総合研究所システム検証研究センター. モデル検査 初級編―基礎から実践まで4日で学べる. ナノオプトメディア, 2009.
  12. 産業技術総合研究所システム検証研究センター. モデル検査 上級編―実践のための三つの技法. ナノオプトメディア, 2010.
  13. 平石 邦彦. 形式的モデル化: 離散事象/実時間/ハイブリッドシステムのモデル化と解析 森北出版, 2019.
  14. NuSMV モデルチェッカー [HTML]
2023/1/10 更新