商品詳細
| 内容紹介 | |
|---|---|
| 販売会社／発売会社 | 近代科学社 |
| 発売年月日 | 2007/12/25 |
| JAN | 9784764903470 |
- 書籍
- 書籍
Bメソッドによる形式仕様記述
商品が入荷した店舗：店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
お客様宅への発送や電話でのお取り置き・お取り寄せは行っておりません
Bメソッドによる形式仕様記述
¥3,960
在庫あり
商品レビュー
5
1件のお客様レビュー
- ネタバレ
※このレビューにはネタバレを含みます
抽象機械、変数の宣言、不変条件の宣言、変数の初期化、操作の定義、一般化代入の紹介がある。 抽象機械の整合性の検証として、最弱事前条件、不変条件の無矛盾性、初期化の整合性について説明がある。 集合論的に厳密に記述していくのがミソのようです。 Refinementという段階的詳細化をしていって実装までたどり着きます。各段階間の整合性を確認することによって、実装が抽象的に検討した性格を保っていることを保証します。 トップエスイー講座は受けにいけませんでした。 読者である北海道立工業試験場の堀さんに２度講習会を開いていただきました。
Posted by 