Yu Chin CHENG


Contract Specification in Java: Classification, Characterization, and a New Marker Method
Chien-Tsun CHEN Yu Chin CHENG Chin-Yun HSIEH 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/11/01
Vol. E91-D  No. 11  pp. 2685-2692
Type of Manuscript:  PAPER
Category: Fundamentals of Software and Theory of Programs
Keyword: 
Design by Contractcontract specificationclassificationcharacterizationquality attributeJava
 Summary | Full Text:PDF(253.1KB)