Books and Papers

トップエスイーの講義で使用されている教科書・参考書のうち，トップエスイー講師によって書かれたものを中心にご紹介します．一部の講義は，現在は開講していないか他の講義に継承されています．

• 磯部，櫻庭，田口，田原，粂野「ソフトウェア科学基礎」（近代科学社）
  (対象科目: 「基礎理論」)

• 鷲崎，山本，久保，丸山「ソフトウェアパターン」（近代科学社）
  (対象科目：「ソフトウェアパターン」)

• 來間「Bメソッドによる形式仕様記述」（近代科学社）
  (対象科目：「形式仕様記述(Ｂメソッド編）」)

• 吉岡，青木，田原「SPINによる設計モデル検証」（近代科学社）
  (対象科目：「設計モデル検証(基礎編)」)

• 浅井「実践的ソフトウェア工学」（近代科学社）
  (対象科目：「ソフトウェア工学入門」)

• 妻木，白銀「要求工学概論」（近代科学社）
  (対象科目：「要求工学入門」)

• 石川「VDM++による形式仕様記述」（近代科学社）
  (対象科目：「形式仕様記述（基礎・VDM編）」)

• 長谷川，磯部，田原「UPPAALによる性能モデル検証」（近代科学社）
  (対象科目：「性能モデル検証」)

• 磯部「並行システムの検証と実装」（近代科学社）
  (対象科目：「並行システムの検証と実装」)

• 野中，小池「データ指向のソフトウェア品質マネジメント」(日科技連出版社)
  (対象科目：「ソフトウェアメトリクス」)

• 中島，來間「Event-B リファインメント・モデリングに基づく形式手法」(近代科学社)
  (対象科目：「形式仕様記述(Event-B編)」)

コンピュータソフトウェア「ソフトウェアの要求と設計の科学」シリーズ

日本ソフトウェア科学会の論文誌「コンピュータソフトウェア」では，トップエスイーの講師が中心となって高信頼なソフトウェアを実現するための 科学的アプローチを，初心者向けに解説するチュートリアルを掲載しています．全5稿の予定で，現在第3稿まで掲載されています．

• 第1稿「要求工学: 現実と仮想世界をつなぐために」(妻木俊彦)
• 第2稿「形式仕様に基づくソフトウェア開発手法の紹介」(來間啓伸，石川冬樹)
• 第3稿「モデル検査による設計検証」(吉岡信和，田辺良則，田原康之，磯部祥尚，長谷川哲夫)
• 第4稿「ソフトウェアの部品化と再利用」(鷲崎弘宜，鄭顕志，吉村健太郎)
• 第5稿「関心事の分離とポスト・オブジェクト指向モジュール化技術」(増原英彦，千葉滋，五十嵐淳)