摘要
结合形式化软件开发方法和面向对象的方法学,使用SPEC#开发物流信息管理系统,利用该语言中的前置条件、后置条件、对象不变式等形式化机制显著地提高了软件的可读性、可靠性和可维护性。系统地总结了分析、设计和编码阶段的经验和问题,提出了应用SPEC#进行契约式程序设计的一组原则和建议,并分析了该语言存在的不足和改进策略。
A logistic information system （LIS） is developed by integrating formal methods with object-oriented approach. Taking advantage ofthe formal mechanisms in SPEC# including object invariants, class contracts and method contract, significant improvement in readability, reliability and maintainability is achieved. In addition, a set of rules and guidance are drawn from the experiences of the stages of analysis, design, and implementation, and some deficiencies of SPEC# and its further improvement are also discussed.
出处
《计算机工程与设计》
CSCD
北大核心
2006年第22期4178-4182,共5页
Computer Engineering and Design
基金
国家自然科学基金项目(60273092)
国家973基础研究发展计划基金项目(2003CCA02800)
