ezContract: Using Marker Library and Bytecode Instrumentation to Support Design by Contract in Java.

Yu Chin Cheng Chien-Tsun Chen Chin-Yun Hsieh

Published in: APSEC (2007)

Keyphrases

programming language
design tools
design process
case study
source code
learning environment
user interface
supply chain
engineering design
design guidelines