形式手法コミュの書籍紹介

ログインして参加する

mixiユーザー 2006年12月24日 22:24

なんだかんだ言っても、頼りになる書籍。
ここでは、形式手法関連書籍をレビューしましょう。

コメント(6)

最初
全て
最新の40件

1

[1] mixiユーザー 12月27日 23:14

「ディペンダブルシステム
-高信頼性システム実現のための耐故障・検証・テスト技術-」
米田友洋、梶原誠司、土屋達弘　著、共立出版

システムの信頼度（故障に耐え、期待した結果を返すこと）
を上げるためのアプローチとして、ハードウェア面の
工夫と、ソフトウェア開発面の工夫の話が記述されている。
「第４章　形式的設計検証技術」において、
モデル検査の手法を中心に形式手法の記述がある。
日本語での学術的なＣＴＬ、モデル検査の解説としては
かなりまとまっている印象を受ける。

ただやはり大学の教科書的なので、
エンジニアが読むには幾分学術的にすぎる気がする。

[6] mixiユーザー 06月15日 06:37

「レビュー」コーナに、書籍紹介をあげるようにしはじめました。
基本的にamazon.co.jpに掲載してあるものを、書き直すようにしています。
amazon.co.jpの方も、ついでに書き直すようにしています。

ご意見などがありましたら、ここ、またはamazon.co.jpで、
コメントいただけると幸いです。

ログインすると、みんなのコメントがもっと見れるよ

最初
全て
最新の40件

1

mixiユーザー: ログインしてコメントしよう！

形式手法更新情報

形式手法のメンバーはこんなコミュニティにも参加しています

星印の数は、共通して参加しているメンバーが多いほど増えます。

人気コミュニティランキング

困ったときには

関連ワード

mixiで趣味の話をしよう: 新規登録（無料）; ログイン

このページの上部へ