VDM

久しぶりの新しい案件なのでVDMで書いています。
既存案件を書くのは量が多くて大変だけれど、新規案件は理解しながら書けます。

だいぶスラスラ書けるようになった。
Javaより書きやすい。Javaだとメソッドになるような式がシンプルに書ける。
特に、集合、列、写像が強力。ツリー構造も簡素に書ける。
事前条件、事後条件、不変条件が書けるのがいい。
「is not yet specified」という呪文が便利。
型にしようか、クラスにしようか迷う。
型を定義すべきか、とりあえず token にしようか迷う。
名前の付け方をどうするか？型は「〜型」に限定しようか、「〜区分」みたいな名前も許そうか、
あるいは、なんらかのprefixをつけるか？→ネーミングルールが必要
名前に数字があるときには全角文字にするか、半角文字にするか？「第１区分」など