ソフトウェア科学基礎　最先端のソフトウェア開発に求められる数理的基礎/田中譲／監修　磯部祥尚／著　粂野文洋／著　桜庭健年／著　田口研治／著　田原康之／著本・コミック：オンライン書店e-hon

ソフトウェア科学基礎　最先端のソフトウェア開発に求められる数理的基礎

トップエスイー基礎講座　１

田中譲／監修　磯部祥尚／著　粂野文洋／著　桜庭健年／著　田口研治／著　田原康之／著

出版社名	近代科学社
出版年月	2008年9月
ISBNコード	978-4-7649-0355-5 （4-7649-0355-5）
税込価格	4,180円
頁数・縦	３４５Ｐ　２４ｃｍ

商品内容

目次	第０章　これから技術者をめざす人のために第１章　論理―正しいと考えられる事柄から正しい事柄を新たに導く第２章　集合―多様な構造や構成の方法を知る第３章　並行プログラム―並行性に特有の概念と知識を学ぶ第４章　時相論理―システムやプログラムの動的な性質を記述する第５章　検証性質の記述―一般の技術者がシステムの性質を記述する第６章　オートマトン―コンピュータの動作を形式的に表現する第７章　モデル検査基礎―並行システムのモデル検査を行う第８章　モデル検査実装―検証モデル記述のノウハウを利用する第９章　抽象解釈―モデル検査の複雑さを軽減する第１０章　モデル検査ツール―ＳＰＩＮ、ＳＭＶ、ＬＴＳＡ、ＵＰＰＡＡＬを使う

第０章　これから技術者をめざす人のために
第１章　論理―正しいと考えられる事柄から正しい事柄を新たに導く
第２章　集合―多様な構造や構成の方法を知る
第３章　並行プログラム―並行性に特有の概念と知識を学ぶ
第４章　時相論理―システムやプログラムの動的な性質を記述する
第５章　検証性質の記述―一般の技術者がシステムの性質を記述する
第６章　オートマトン―コンピュータの動作を形式的に表現する
第７章　モデル検査基礎―並行システムのモデル検査を行う
第８章　モデル検査実装―検証モデル記述のノウハウを利用する
第９章　抽象解釈―モデル検査の複雑さを軽減する
第１０章　モデル検査ツール―ＳＰＩＮ、ＳＭＶ、ＬＴＳＡ、ＵＰＰＡＡＬを使う

著者紹介

田中　譲 (タナカ　ユズル)　　: １９７４年京都大学大学院工学研究科修士課程修了。現在、北海道大学大学院情報科学研究科教授。工学博士。知識メディア、知識連携の研究に従事

磯部　祥尚 (イソベ　ヨシナオ)　　: １９９２年芝浦工業大学大学院電気工学専攻修士課程修了。１９９２年通商産業省工業技術院電子技術総合研究所。現在、独立行政法人産業技術総合研究所主任研究員・国立情報学研究所特任准教授。工学博士。形式手法による並行システムの検証に関する研究に従事

粂野　文洋 (クメノ　フミヒロ)　　: １９９０年早稲田大学大学院理工学研究科数学専攻修士課程修了。現在、株式会社三菱総合研究所情報技術研究センター主任研究員・国立情報学研究所特任准教授

櫻庭　健年 (サクラバ　タケトシ)　　: １９８３年東北大学大学院博士課程数学専攻前期課程修了。１９８３年株式会社日立製作所。現在、株式会社日立製作所システム開発研究所。オペレーティングシステム、情報セキュリティの研究に従事

田口　研治 (タグチ　ケンジ)　　: ２００１年スウェーデン王国ウプサラ大学計算機科学博士号。現在、国立情報学研究所特任教授。形式手法の研究と教育に従事

田原　康之 (タハラ　ヤスユキ)　　: １９９年東京大学大学院理学研究科修士課程終了。１９９１年株式会社東芝。２００３年国立情報学研究所。現在。電気通信大学大学院情報システム学研究科准教授。博士（情報科学）。エージェント技術、ソフトウェア工学の研究に従事（本データはこの書籍が刊行された当時に掲載されていたものです）