出版物
本センター関連の活動成果として下記の書籍を出版しています。
トップエスイー基礎講座 【1】
ソフトウェア科学基礎
最先端のソフトウェア開発に求められる数理的基礎

形式仕様記述とモデル検査を用いたシステム開発に関する入門書
監 修 ■ 田中譲(北海道大学大学院)著 者 ■ 磯部祥尚(産業技術総合研究所)
粂野文洋(三菱総合研究所)
櫻庭健年(日立製作所)
田口研治(国立情報学研究所)
田原康之(電気通信大学大学院)
サイズ ■ 23.2 x 18.4 x 2.2 cm
発 行 ■ 2008年9月30日
出版社 ■ 近代科学社
ISBN-13 ■ 978-4764903555
価 格 ■ 3,990円(税込)
トップエスイー基礎講座 【2】
要求工学概論
要求工学の基本概念から応用まで

品質向上に貢献する、要求獲得技法を詳解!
監 修 ■ 大西 淳(立命館大学)著 者 ■ 妻木俊彦(国立情報学研究所)
白銀純子(東京女子大学)
サイズ ■ 23.2 x 18.4 x 2.2 cm
ページ数 ■ 288ページ
発 行 ■ 2009年10月5日
出版社 ■ 近代科学社
ISBN-13 ■ 978-4-7649-0375-3
価 格 ■ 3,990円(税込)
トップエスイー実践シリーズ【1】
Bメソッドによる形式仕様記述
ソフトウェアシステムのモデル化とその検証

形式仕様記述手法Bメソッドの日本初の解説書
監 修
■
中島 震(国立情報学研究所)著 者 ■ 来間 啓伸(日立製作所 システム開発研究所)
サイズ ■ 23.2×18.2×2.4 cm
ページ ■ 240ページ
発 行 ■ 2007年12月
出版社 ■ 近代科学社
ISBN-13 ■ 978-4-7649-0347-0
価 格 ■ 3,780円(税込)
トップエスイー実践シリーズ【2】
ソフトウェアパターン
パターン指向の実践ソフトウェア開発

個人に蓄積された優れた技術を効率よく再利用するソフトウェアパターン技術の解説書
監 修
■
深澤 良彰(早稲田大学)著 者 ■ 鷲崎 弘宜(国立情報学研究所)
丸山 勝久(立命館大学)
山本 里枝子(富士通研究所)
久保 淳人(早稲田大学)
サイズ ■ 23.2×18.2×1.2 cm
ページ ■ 256ページ
発 行 ■ 2007年12月
出版社 ■ 近代科学社
ISBN-13 ■ 978-4-7649-0348-0
価 格 ■ 3,780円(税込)
トップエスイー実践シリーズ【3】
SPINによる設計モデル検証
モデル検査の実践ソフトウェア検証

個人に蓄積された優れた技術を効率よく再利用するソフトウェアパターン技術の解説書
監 修 ■ 萩谷 昌己(東京大学大学)著 者 ■ 吉岡 信和(国立情報学研究所)
青木 利晃(北陸先端科学技術大学院大学)
田原 康之(電気通信大学大学院)
サイズ ■ 23.2 x 18.4 x 2 cm
発 行 ■ 2008年9月30日
出版社 ■ 近代科学社
価 格 ■ 3,780円(税込)
トップエスイー入門講座【1】
実践的ソフトウェア工学
実践現場から学ぶソフトウェア開発の勘所

監 修
■
石田 晴久(サイバー大学)
著 者 ■ 浅井 治(ソフトバンクモバイル株式会社)
サイズ ■ 23.2×18.2×2.4 cm
ページ ■ 204ページ
発 行 ■ 2009年6月
出版社 ■ 近代科学社
ISBN-13 ■ 9978-4-7649-0370-8
価 格 ■ 2,625円(税込)
著 者 ■ 浅井 治(ソフトバンクモバイル株式会社)
サイズ ■ 23.2×18.2×2.4 cm
ページ ■ 204ページ
発 行 ■ 2009年6月
出版社 ■ 近代科学社
ISBN-13 ■ 9978-4-7649-0370-8
価 格 ■ 2,625円(税込)
Proceedings of the 1st International Workshop on
Software Patterns and Quality (SPAQu'07)
Software Patterns and Quality (SPAQu'07)

Top SE共催のソフトウェアパターンと品質に関する国際ワークショップ論文集
著 者
■
Hironori WashizakiNobukazu Yoshioka
ページ ■ 68ページ
発 行 ■ 2007年12月
出版社 ■ 近代科学社
ISBN-13 ■ 978-4-915256-69-1 C3040"APSEC2007 co-located workshop W3: 1st International Workshop on Software Patterns and Quality (SPAQu'07)", Information Processing Society of Japan
