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