论文部分内容阅读
<正>Traditional approach of design by contract,due to mixing the contract code with application code,is difficult for the extensibility and reusability of software system.This paper presents a framework named JADBC for design by contract based on Asp