SPINモデル検査―検証モデリング技法
中島 震
堅固なソフトウェアを作るにはどういうアプローチがとれるのだろうか。デザイン、プログラムの《正しさ》を検証するにはどうすればよいのだろうか。
SPINは、オートマトン、時相論理、グラフ•アルゴリズムの基礎技術から成り立っているそうです。
参考
SPINモデルチェッカ - Wikipedia
2008年9月23日火曜日
SPINモデル検査―検証モデリング技法
登録:
コメントの投稿 (Atom)
skip to main |
skip to sidebar
amazon 洋書
amazon
プロフィール
名前：shigeto nakawaka
職業：コンピューター関連
僕の本棚にある本についての感想など。
現在、本棚を整理中。
ついでに頭の中も整理中。
自慢じゃないですが、滅多に読み切ることはありません。
他のブログ
プログラマメモ2
デイジーツールズ
プログラマの道具箱
プログラマとビデオ
プログラマの本棚は、記事を書くのにG-Tools ブログとAmazon(アマゾン) アソシエイトでアフィリエイト を利用させてもらってます。
職業：コンピューター関連
僕の本棚にある本についての感想など。
現在、本棚を整理中。
ついでに頭の中も整理中。
自慢じゃないですが、滅多に読み切ることはありません。
他のブログ
プログラマメモ2
デイジーツールズ
プログラマの道具箱
プログラマとビデオ
プログラマの本棚は、記事を書くのにG-Tools ブログとAmazon(アマゾン) アソシエイトでアフィリエイト を利用させてもらってます。
ブログ アーカイブ
-
▼
08
(108)
-
▼
09
(15)
- Drupal Pro Book CMSカスタマイズ&デザインガイド - 自力でデザイン
- ウェブを変える10の破壊的トレンド
- Adobe Illustrator CSスーパーガイド - イラストレーターを使った写実的表現(リア...
- SPINモデル検査―検証モデリング技法
- G8―G8ってナンですか?
- マイクロソフトを飛び出して億万長者になった、私 - とびだして。
- ジャンパー - とべとべとべ
- Perlクックブック―Perlの鉄人が贈るレシピ集
- 逆引き数学公式146―問題の解答を導く公式はこれだ! - お手頃
- yacc/lex―プログラムジェネレータonUNIX
- Prototype & script.aculo.us JavaScriptライブラリによるAjax...
- ダウト - 疑心暗鬼
- 図解入門よくわかる高校数学の基本と仕組み - 大事です。
- Ruby on Rails入門―優しいRailsの育て方 - 育ててみるか。
- 銃夢Last Order 12 - 自らの遺志で。ガリィ再生
-
▼
09
(15)
g-tools
with Ajax Amazon
0 件のコメント:
コメントを投稿