形式手法の技術講座 の商品レビュー
VDM++(VDMTools)を使用しての形式手法検証の説明と実際の使用方法までが記述されている。 ・VDM(形式手法)はシステム全体ではなく、重要な箇所に絞って検証を行なう。 ・UMLやSysMLを習得するよりも、容易使いこなすことが出来る。 ・VDMをCSKシステムズや...
VDM++(VDMTools)を使用しての形式手法検証の説明と実際の使用方法までが記述されている。 ・VDM(形式手法)はシステム全体ではなく、重要な箇所に絞って検証を行なう。 ・UMLやSysMLを習得するよりも、容易使いこなすことが出来る。 ・VDMをCSKシステムズやフェリカネットワークスが導入。その実例を紹介。 ＃フェリカネットワークスの形式手法を導入した技術者に会う前に、本書を読んでおけば良かった。 下記のURLからダウンロードして試してみようかな。 http://www.vdmtools.jp/
Posted by
- 1