摘要
概要介绍了SPEC#的基本特性;使用SPEC#开发了若干典型的算法程序,利用该语言中的契约机制来形式化地描述前置条件、后置条件、对象不变式等程序规约,从而显著地提高了程序的可读性、可靠性和可维护性,有助于软件自动化水平的提高。
After giving a brief introduction to SPEC# language,we develop several typical algorithmic programs using SPEC#,formally describe program specifications including pre- and post- conditions and object invariants with contract mechanisms in SPEC#,and in consequence improve the readability,reliability,and maintainability significantly,which demonstrates the contribution of SPEC# to software automation.
出处
《计算机工程与应用》
CSCD
北大核心
2006年第12期114-117,130,共5页
Computer Engineering and Applications
基金
国家自然科学基金资助项目(编号:60273092)
国家973重点基础研究发展规划资助项目(编号:2003CCA02800)
