- 中古
- 書籍
- 書籍
形式手法の技術講座 ソフトウェアトラブルを予防する
定価 ¥2,530
220円 定価より2,310円（91%）おトク
獲得ポイント2P
在庫なし
発送時期 1～5日以内に発送
商品詳細
| 内容紹介 | |
|---|---|
| 販売会社／発売会社 | ソフトリサーチセンター |
| 発売年月日 | 2008/04/30 |
| JAN | 9784883732586 |
- 書籍
- 書籍
形式手法の技術講座
商品が入荷した店舗：0店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
お客様宅への発送や電話でのお取り置き・お取り寄せは行っておりません
形式手法の技術講座
¥220
在庫なし
商品レビュー
4
1件のお客様レビュー
VDM++(VDMTools)を使用しての形式手法検証の説明と実際の使用方法までが記述されている。 ・VDM(形式手法)はシステム全体ではなく、重要な箇所に絞って検証を行なう。 ・UMLやSysMLを習得するよりも、容易使いこなすことが出来る。 ・VDMをCSKシステムズや...
VDM++(VDMTools)を使用しての形式手法検証の説明と実際の使用方法までが記述されている。 ・VDM(形式手法)はシステム全体ではなく、重要な箇所に絞って検証を行なう。 ・UMLやSysMLを習得するよりも、容易使いこなすことが出来る。 ・VDMをCSKシステムズやフェリカネットワークスが導入。その実例を紹介。 ＃フェリカネットワークスの形式手法を導入した技術者に会う前に、本書を読んでおけば良かった。 下記のURLからダウンロードして試してみようかな。 http://www.vdmtools.jp/
Posted by 