VDM-SL
VDM-SL(VDM Specification Language)
キーワード: 親しみやすい表記法、ツール群、利用者のコミュニティ
仕様記述言語
VDM++
VDM
確認用
Q. VDM-SL
参考
【Think IT】 第3回：Z言語とVDM-SLの記述例 (1/3)
【Think IT】 第4回：Z言語とVDM-SLの違いとその効果 (1/3)