2006-04-12 形式手法の旅 とりあえず、VDM++ は8割ぐらいは制覇したかな。 いくつか仕様を書いているうちに、状態遷移がVDMではうまく表せないのに気づいた。 なので、「VDMはUMLと併用すべき」というのが現時点での感想。 お互いが、足らないものを持っている。