摘要
一引言软件开发过程需要大量的工具支撑,如编辑工具,编译工具,调试工具等。这些工具的使用不仅方便了软件的开发,而且合适的工具保证了软件开发的质量,它将使软件开发人员的注意力集中到设计工作本身,而不耗费在设计的相关工作上。形式化方法为计算机系统的规约、实现和验证提供了合理的数学基础,首先对系统进行独立于实现的、基于一定形式化语义的抽象描述。
Based on the analysis and comparison of the six typical supporting tools for Z and the characteristics of our COOZ-Tools, shortcoming of all the tools is summarized and further research is proposed.
出处
《计算机科学》
CSCD
北大核心
1999年第10期78-80,共3页
Computer Science
基金
国家九五攻关项目
国家自然科学基金 69673006