Unification and Consistency Verification of Object-Oriented Analysis Models.

Toshiaki Aoki, Takuya Katayama

Browse the full APSEC paper archive.