ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎
田中譲／監修 磯部祥尚／著 粂野文洋／著 桜庭健年／著 田口研治／著 田原康之／著
発売日：2008年9月
形式仕様記述とモデル検査の基礎知識を一気に習得。
- ページ数
- ３４５ｐ
- ISBN
- 978-4-7649-0355-5
- 著者情報
- 田中 譲（タナカ ユズル）
１９７４年京都大学大学院工学研究科修士課程修了。現在、北海道大学大学院情報科学研究科教授。工学博士。知識メディア、知識連携の研究に従事
磯部 祥尚（イソベ ヨシナオ）
１９９２年芝浦工業大学大学院電気工学専攻修士課程修了。１９９２年通商産業省工業技術院電子技術総合研究所。現在、独立行政法人産業技術総合研究所主任研究員・国立情報学研究所特任准教授。工学博士。形式手法による並行システムの検証に関する研究に従事
粂野 文洋（クメノ フミヒロ）
１９９０年早稲田大学大学院理工学研究科数学専攻修士課程修了。現在、株式会社三菱総合研究所情報技術研究センター主任研究員・国立情報学研究所特任准教授
櫻庭 健年（サクラバ タケトシ）
１９８３年東北大学大学院博士課程数学専攻前期課程修了。１９８３年株式会社日立製作所。現在、株式会社日立製作所システム開発研究所。オペレーティングシステム、情報セキュリティの研究に従事
田口 研治（タグチ ケンジ）
２００１年スウェーデン王国ウプサラ大学計算機科学博士号。現在、国立情報学研究所特任教授。形式手法の研究と教育に従事
田原 康之（タハラ ヤスユキ）
１９９年東京大学大学院理学研究科修士課程終了。１９９１年株式会社東芝。２００３年国立情報学研究所。現在。電気通信大学大学院情報システム学研究科准教授。博士（情報科学）。エージェント技術、ソフトウェア工学の研究に従事
セブン-イレブン受取り(送料無料)
発送目安
発売日（発売日以降は当日）～2日で発送
宅配（送料¥550税込）
発送目安
発売日（発売日以降は当日）～2日で発送
交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。
商品説明
優れた開発者として最先端の理論やツールと使ってソフトウェア開発をするために必要な基礎知識である、論理学、並行システム、オートマトン、モデル検査のアルゴリズムや実装技術、モデル検証ツールをこの1冊にまとめて解説
目次
第０章 これから技術者をめざす人のために
第１章 論理―正しいと考えられる事柄から正しい事柄を新たに導く
第２章 集合―多様な構造や構成の方法を知る
第３章 並行プログラム―並行性に特有の概念と知識を学ぶ
第４章 時相論理―システムやプログラムの動的な性質を記述する
第５章 検証性質の記述―一般の技術者がシステムの性質を記述する
第６章 オートマトン―コンピュータの動作を形式的に表現する
第７章 モデル検査基礎―並行システムのモデル検査を行う
第８章 モデル検査実装―検証モデル記述のノウハウを利用する
第９章 抽象解釈―モデル検査の複雑さを軽減する
第１０章 モデル検査ツール―ＳＰＩＮ、ＳＭＶ、ＬＴＳＡ、ＵＰＰＡＡＬを使う
商品詳細
- シリーズ名
- トップエスイー基礎講座 １
- 出版社名
- 近代科学社
- サイズ
- ２４ｃｍ
- 対象年齢
- 一般
- フォーマット
- 単行本
注意事項
- 本の帯に関して
- 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。 - 版・表紙について
- 版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。
