An approach to object-oriented requirements verification in software development for distributed computing systems.

Stephen S. Yau, Doo-Hwan Bae, Keunhyuk Yeom

Browse the full COMPSAC paper archive.