Supported by the National Natural Science Foundation of China underGrant No.60373003(国家自然科学基金);the National High-Tech Development 863 Program of China under Grant No.2001AAI13070(国家高技术研究发展计划(863));the National Grand Fundamental Research 973 Program ofChinaunder Grant No.2002CB31200003(国家重点基础研究发展规划(973));China Postdoctoral Science Foundation under Grant No.2003034077(中国博士后科学基金资助项目)
姜瑛,辛国茂,单锦辉,谢冰.一种基于合约式设计的测试技术研究.软件学报,2004,15(zk):130-137
复制