软件求精相关论文
提出了将Manna的程序综合方法和Caroll Morgan的求精演算方法相结合的求精方法.为了提高求精的自动化程度,在求精的规则选择过程中......
软件求精是形式化开发方法中的一种新技术。本文介绍了软件求精的基本思想和理论基础,并结合一种广谱语言“扩展Guarded Commands”介绍了其一般方......