オブジェクト指向 Z ってなんですか?
Z の幾つかのオブジェクト指向の拡張が提案されています。先程紹介した "Object
orientation in Z" という本は、いくつかのOOZ の接近に付いて書かれた論文を集めた
ものです。Hall, ZERO, MooZ,
Object-Z, OOZE
, Schuman&Pitt, Z++, ZEST, Fresco
(OO VDM method) などは方法論の研究者によって主に書かれていて、2 つの同じ例が示
されている。同じく先に紹介した "Object-oriented specification case studies" は
オブジェクト指向の形式的仕様記述の基本的な方法や言語についてまとめられていて、
Z に基づいたものも含まれています。
Next: どうすれば Z を実行することができますか?!