2006-04-12から1日間の記事一覧

形式手法の旅

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