A Method of Checking Errors and Consistency in the Process of Object-Oriented Analysis.

Do-Hyoung Kim, Kiwon Chong

Browse the full APSEC paper archive.