TOPSE(トップエスイー)
INTER-Mediator
トップエスイープロジェクトをご存じですか | 日経 xTECH（クロステック）
なんというか臆面もない感じはある。弊社もITゼネコンの端くれなので何人か受講者がいたりするが。
教科書リスト。(講座は他にもあるようだ)
トップエスイー基礎講座
ソフトウェア科学基礎―最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座)
- 作者: 磯部祥尚,櫻庭健年,田口研治,田原康之,粂野文洋,田中譲
- 出版社/メーカー: 近代科学社
- 発売日: 2008/09
- メディア: 単行本
- 購入: 2人 クリック: 13回
- この商品を含むブログ (5件) を見る
要求工学概論―要求工学の基本概念から応用まで (トップエスイー基礎講座)
- 作者: 妻木俊彦,白銀純子,本位田真一,大西淳
- 出版社/メーカー: 近代科学社
- 発売日: 2009/10/01
- メディア: 単行本
- 購入: 1人 クリック: 5回
- この商品を含むブログ (5件) を見る
トップエスイー入門講座
実践的ソフトウェア工学―実践現場から学ぶソフトウェア開発の勘所 (トップエスイー入門講座)
- 作者: 浅井治,石田晴久
- 出版社/メーカー: 近代科学社
- 発売日: 2009/05/01
- メディア: 単行本
- 購入: 1人 クリック: 9回
- この商品を含むブログ (2件) を見る
トップエスイー実践講座
Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座)
- 作者: 来間啓伸,中島震
- 出版社/メーカー: 近代科学社
- 発売日: 2007/12/01
- メディア: 単行本
- 購入: 1人 クリック: 13回
- この商品を含むブログ (4件) を見る
ソフトウェアパターン―パターン指向の実践ソフトウェア開発 (トップエスイー実践講座)
- 作者: 鷲崎弘宜,山本里枝子,久保淳人,丸山勝久,深澤良影
- 出版社/メーカー: 近代科学社
- 発売日: 2007/12/01
- メディア: 単行本
- クリック: 4回
- この商品を含むブログ (3件) を見る
SPINによる設計モデル検証―モデル検査の実践ソフトウェア検証 (トップエスイー実践講座)
- 作者: 吉岡信和,青木利晃,田原康之
- 出版社/メーカー: 近代科学社
- 発売日: 2008/09/01
- メディア: 単行本
- クリック: 11回
- この商品を含むブログ (4件) を見る
