VDM
http://topse.or.jp/docs/?q=node/16 受けてきた。VDM++のイントロダクションとして良い勉強になった。 実際使ってみると、陽定義で操作の中身を書くのは簡単。 難しいのは事前条件、事後条件を抜けもれなく書くことだ。以下は演習課題の一部分 -- multiChoo…
http://topse.or.jp/docs/?q=node/16 受けてきた。VDM++のイントロダクションとして良い勉強になった。 実際使ってみると、陽定義で操作の中身を書くのは簡単。 難しいのは事前条件、事後条件を抜けもれなく書くことだ。以下は演習課題の一部分 -- multiChoo…