CSKが「VDM研究会」を発足，フォーマル・メソッドの普及目指す

CSKが「VDM研究会」を発足，フォーマル・メソッドの普及目指す

CSKシステムズは，フォーマル・メソッド（formal methods）の一種である「VDM」の普及や認知を目的とし...概要を表示 CSKシステムズは，フォーマル・メソッド（formal methods）の一種である「VDM」の普及や認知を目的とした「VDM研究会」を設立した（CSKシステムズによる設立趣意）。VDMとは，「VDM++」や「VDM-SL」など仕様を記述することに特化した専用言語でシステムの仕様を詳細に書き出すことで，仕様の矛盾や不整合などのバグを洗い出すための方法論である。VDM研究会は，コンサルティング会社，VDMの活用企業，大学教授などで構成する。 VDM（Vienna Development Method）は，1970年代にオーストリアIBM Vienna研究所で開発されたフォーマル・メソッドの一手法である。コンパイラの仕様検証を目的に開発された。「ISO/IEC 13817-1」として規格化されている「VDM-SL」やオブジェクト指向に対応した「VDM++」といった形式的仕様記述言語を用いて，ソ