VDMと形式手法

VDM(the Vienna Development Method)

VDMToolsのメモ

  • 秀丸を外部エディタとして登録する方法 これで、Ctrl+E でエディタを起動することができます。


  • サクラエディタを登録する方法

    VDM++の文法

    作りかけです・・・

    リンク集

    VDM

  • VDM information web site
  • Overture

    VDMと形式手法の記事

  • バグ・ゼロめざし脚光浴びる「形式手法」2006/07/19
  • いまさら聞けない 形式手法入門 2007/1/19
  • 連載記事「誰でも使える形式手法」
  • 誰でも使える形式手法（1）ライトウェイトな形式手法で高品質な仕様をこの手に！ 2008/9/17
  • 誰でも使える形式手法（2）VDMはソフトウェア開発でこう使う！〜導入と運用のツボ〜 2008/10/20
  • 誰でも使える形式手法（3）VDMを用いた仕様記述・検証 〜 モデリング編 〜 2008/11/19
  • 誰でも使える形式手法（4）VDMを用いた仕様記述・検証 〜 仕様記述編 〜 2009/1/21
  • 誰でも使える形式手法（5）VDMを用いた仕様記述・検証 〜 仕様検証編 〜 2009/2/20
  • UMLと形式手法のハイブリッド仕様が鍵となるか 2009/12/9

  • 情報システムの信頼性向上に関するガイドライン(平成１８年６月１５日 経済産業省)

    書籍

  • プログラム仕様記述論 (IT Text)
  • ソフトウェア開発のモデル化技法
  • 形式手法の技術講座
  • SPINモデル検査
  • ソフトウェア科学基礎
  • Bメソッドによる形式仕様記述
  • SPINによる設計モデル検証
  • 形式手法モデル理論アプローチ
    戻る