ACM Transactions On Software Engineering and Methodology : vol. 12, 1-4, 2003.