软件生产自动化中的新理论和新方法研究

课题组在程序规范的极限理论、相关的NP难解问题法设计和软件开发的对象语义理论等方面取得了开创性成果。以开放逻辑为基础提出了一个关于软件版本进化的理论。其基本思想是以软件的版本为研究对象，针对软件版本的更新提出版本的重构概念，并用版本序列和极限的理论刻画软件开发策略，为了将此理论应用于软件开发实践并提高其实现效率，对SAT问题的算法设计进行了重点研究，在两个应用软件项目中初步实践了上述两方面的成果，在对象形式规范方面研究了一种新的约束规范语言JBDL，在对象模型检查方面提出了新的改进T（3）BDD算法。课题进行期间，在国内外重要刊物和会议上发表论文55篇。研究成果受到国内外学术界和企业界的广泛关注。