並行システムの検証と実装

形式手法ＣＳＰに基づく高信頼並行システム開発入門
トップエスイー実践講座　６

近代科学社
磯部祥尚　東野輝夫　

• 価格: 5,060円（本体4,600円＋税）
• 発行年月: 2012年12月
• 判型: Ｂ５
• ISBN: 9784764904354

内容情報

[BOOKデータベースより]

この一冊で、並行プログラミングの基礎理論、検証技術、実装手法が分かる。並行システムのＣＳＰによるモデル化技術、モデル検証器ＦＤＲによる検証技術、ＪａｖａライブラリＪＣＳＰによる実装手法を詳細に解説。

第１章　ＣＳＰ、ＦＤＲ、ＪＣＳＰ概論
第２章　ＣＳＰ入門
第３章　ＦＤＲ入門
第４章　ＪＣＳＰ入門
第５章　ＣＳＰ理論（動作表現）
第６章　ＣＳＰ理論（動作解析）
第７章　ＦＤＲ検証
第８章　ＪＣＳＰ実装
第９章　ＣＳＰ、ＦＤＲ、ＪＣＳＰ応用
第１０章　ＣＳＰ、ＦＤＲ、ＪＣＳＰ実践
付録