2008-02-21 VDM Tools Lite ソフトウェア設計 この形式手法自体は、 仕様記述言語 開発ツール が整備されて、初めて成立するわけですが、下記のVDK Tools Liteというツールは無料で使えるそうです。VDM information web site#リバースエンジニアリングできるといいなぁなんて思うのは私だけでしょうか?