Contract Specification in Java: Classification, Characterization, and a New Marker Method

Chien-Tsun Chen, Yu Chin Cheng, Chin-Yun Hsieh. Contract Specification in Java: Classification, Characterization, and a New Marker Method. IEICE Transactions, 91-D(11):2685-2692, 2008. [doi]

Abstract

Abstract is missing.