基于合约的程序分析

基于合约的程序分析 0引言 伴随着软件行业的飞速发展，软件项目越来越庞大，其开发团队需要越来越多的人参与其中。软件行业人员的高度流动性以及国内软件项目管理的混乱，造成了代码和文档的不一致，使得程