Object-oriented analysis and design support system using algebraic specification techniques.

Junichi Yamamoto, Akihiko Ohsuga, Shinichi Honiden

Browse the full APSEC paper archive.