このページでは、トップエスイーシリーズの刊行予定、理解を深めるための様々な資料や
リソース、役に立つリンクなどをお知らせしていく予定です。
 
トップシリーズ刊行予定    
■実践講座
・並行システムの検証と実装
  ■基礎講座
・形式手法入門(準備中)
■シリーズ第6弾 2012年12月26日発売予定
         
 
トップエスイー実践講座【6】
並行システムの検証と実装
形式手法CSPに基づく高信頼並行システム開発入門

シリーズ監修:本位田 真一
監修:東野 輝夫(大坂大学)、
著者:磯部 祥尚(産業技術研究所)
B5変形版  208頁 定価4,830円(本体4,600+税)
ISBN:978-4-7649-0435-4

  Book  
         
■シリーズ第5弾 2012年9月28日発売      
         
 
トップエスイー実践講座【5】
UPPAALによる性能モデル検証
モデル検査ツール入門・活用の第一歩

シリーズ監修:本位田 真一
監修:大須賀 昭彦(電気通信大学)、
著者:長谷川 哲夫(東芝)、田原 康之(電気通信大)、磯部 祥尚(産業技術研究所)
B5変形版  208頁 定価3,990円(本体3800+税)
ISBN:978-4-7649-0431-6

   
         
 
■シリーズ第5弾 2011年7月27日発売!      
         
 
トップエスイー実践講座【4】
VDM++による形式仕様記述
形式仕様入門・活用の第一歩

シリーズ監修:本位田 真一
監修:荒木 啓二郎(九州大学)
著者:石川 冬樹(国立情報学研究所)
B5変形版  248頁 定価3,990円(本体3800+税)
ISBN:978-4-7649-0409-5

   
         
         
■シリーズ第4弾 2009年10月5日発売!      
         
 
トップエスイー基礎講座【2】
要求工学概論
要求工学の基本概念から応用まで

シリーズ監修:本位田 真一
監修:大西 淳(立命館大学)
著者:妻木俊彦(国立情報学研究所)、白銀純子(東京女子大学)
B5変形版  204頁 定価3,990円(本体3800+税)
ISBN:978-4-7649-0372-2

   
         
         
■シリーズ第3弾 2009年6月1日発売!      
         
 
トップエスイー入門講座【1】
実践的ソフトウェア工学
実践現場から学ぶソフトウェア開発の勘所

シリーズ監修:本位田 真一
監修:石田 晴久(サイバー大学)
著者:浅井 治(ソフトバンクモバイル)
B5変形版  204頁 定価2,625円(本体2,500+税)
ISBN:978-4-7649-0370-8

   
         
       
■シリーズ第2弾 2008年9月26日発売!      
         
 
トップエスイー実践シリーズ【3】
SPINによる設計モデル検証
モデル検査の実践ソフトウェア検証

シリーズ監修:本位田 真一
監修:萩谷 昌己(東京大学大学院)
著者:吉岡 信和(国立情報学研究所)、青木 利晃(北陸先端科学技術大学院大学)
田原 康之(電気通信大学大学院)
B5変形版  256頁 定価 3.780円(本体3,600+税)
ISBN:978-4-7649-0354-8

  book  
         
         
         
 
トップエスイー基礎講座【1】
ソフトウェア科学基礎
最先端のソフトウェア開発に求められる数理的基礎

シリーズ監修:本位田 真一
監修:田中 譲(北海道大学大学院)
著者:磯部 祥尚(産業技術総合研究所)、粂野 文洋(三菱総合研究所)
櫻庭 健年(日立システム開発研究所)、田口 研治(国立情報学研究所)
田原 康之(電気通信大学大学院)
B5変形版  384頁 定価 3.990円(本体3,800+税)
ISBN:978-4-7649-0355-5

  book  
         
         
■シリーズ第1弾 2007年12月27日発売!      
         
 
トップエスイー実践シリーズ【1】
Bメソッドによる形式仕様記述
ソフトウェアシステムのモデル化とその検証

シリーズ監修:本位田 真一
監修:中島 震(国立情報学研究所)
著者:来間 啓伸(日立製作所 システム開発研究所)
B5変形版 240頁 定価 3,780円(本体3,600+税)
ISBN:978-4-7649-0347-0 

  book  
         
         
         
 
トップエスイー実践シリーズ【2】
ソフトウェアパターン
パターン指向の実践ソフトウェア開発

シリーズ監修:本位田 真一
監修:深澤 良彰(早稲田大学)
著者:鷲崎 弘宜(国立情報学研究所)、丸山 勝久(立命館大学)
山本 里枝子(富士通研究所)、久保 淳人(早稲田大学)
B5変形版 256頁 定価 3,780円(本体3,600+税)
ISBN:978-4-7649-0348-0

  book  
         
         
本サイトのご利用についてお問合せプライバシーについて | 会社概要 | インプレスグループサイト | インプレスグループTop |
 Copyright © 2007 Kindai kagaku sha Co.,Ltd, an Impress Group company. All rights reserved.