近代科学社

書籍検索
ジャンル選択

情報

トップエスイー実践講座 第6巻

並行システムの検証と実装形式手法CSPに基づく高信頼並行システム開発入門

監修 東野 輝夫
著者 磯部 祥尚

著者紹介

並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。本書は、その基礎理論(プロセス代数)であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。

電子書籍¥4,600 小売希望価格(税別)

紙の書籍¥4,600定価(税別)

基本情報

発売日 2012年12月26日
ページ数 384 ページ ※印刷物
サイズ B5 変形
ISBN 9784764904354
ジャンル 情報
タグ ソフトウェア工学
電子書籍形式 固定型

主要目次

1. CSP, FDR, JCSP 概論
2. CSP入門
3. FDR入門
4. JCSP入門
5. CSP理論(動作表現)
6. CSP理論(動作解析)
7. FDR検証
8. JCSP実装
9. CSP, FDR, JCSP応用
10. CSP, FDR, JCSP実践
付録A インストール方法
付録B 演習問題解答

目次をさらに表示する

著者紹介

シリーズ監修者
本位田 真一(ほんいでん しんいち)
1978 年 早稲田大学大学院理工学研究科博士前期課程 修了
1978 年 株式会社 東芝
現 在  国立情報学研究所教授・東京大学大学院情報理工学系研究科教授 工学博士

監修者・著者紹介(※は監修者)

東野 輝夫(ひがしの てるお)(※)
1984 年 大阪大学大学院基礎工学研究科博士後期課程修了 工学博士
1984 年 大阪大学 助手
現 在  大阪大学大学院情報科学研究科 教授
並行分散システム、モバイル・コンピューティングなどに関する研究に従事。

磯部 祥尚(いそべ よしなお)
1992 年 芝浦工業大学大学院電気工学専攻修士課程 修了
1992 年 通商産業省工業技術院電子技術総合研究所
現 在  独立行政法人産業技術総合研究所主任研究員・北陸先端科学技術大学院大学客員 准教授 工学博士
形式手法による並行システムの検証に関する研究に従事。

著者紹介をさらに表示する