搜索筛选:
搜索耗时3.0099秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：刘树锟 阳小华 刘 杰 罗江琴,
来源：计算技术与自动化 年份：2006
摘 要：在当今信息社会中，程序质量是一个具有重要意义的热点问题。基于契约的程序设计是提高程序质量的重要且有效的技术，但是形式化契约的制定是一件十分困难的工作，因此软件质量保证问题一直是令人困扰的难题。本文介绍契约式程序设计的基本概念与方法，并在此基础......
相关搜索：
