软件生产自动化中的新理论和新方法研究-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

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

项目名称：软件生产自动化中的新理论和新方法研究
项目类别：重点项目
批准号：69433030
申请代码：F02
项目来源：国家自然科学基金
研究期限：1995-01-01-1997-12-01

项目负责人：李未
负责人职称：教授
依托单位：北京航空航天大学
批准年度：1994

中文摘要：

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

中文主题词：软件进化程序规范对象语义

成果综合统计