FMVDM

ViennaTalk

ViennaTalk は Pharo Smalltalk上に構築された VDM-SL 環境です。VDMの厳密さと、Smalltalkによるライブな俊敏性を両立させた環境で、VDM-SLによる仕様記述の初期段階での探索的/探究的なモデリングを支援します。