期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一种将遗传算法应用于谓词求精的方法 被引量：2

An Approach to Applying Genetic Algorithm to Predicate Refinement
下载PDF
导出
摘要 提出了将Manna的程序综合方法和Caroll Morgan的求精演算方法相结合的求精方法.为了提高求精的自动化程度,在求精的规则选择过程中引入遗传算法.利用遗传算法能够在庞大的规则库空间中搜索合适规则的特性,提高求精的自动化程度. Selecting rules is the most difficult and creative work in predicate refinement. This paper gives a method of refinement from specification to program code by combining Manna's program synthesis method with Caroll Morgan's refinement calculus. The paper also presents a method for applying genetic algorithm to predicate refinement.
作者 曹晓夏 缪淮扣 高晓雷
机构地区 上海大学计算机工程与科学学院
出处 《应用科学学报》 CAS CSCD 2003年第3期289-295,共7页 Journal of Applied Sciences
基金 国家自然科学基金资助项目(60173030)
关键词 软件工程 软件求精 软件开发 软件自动化 谓词求精 遗传算法 程序综合 求精演算方法 规则库 software automation refinement predication refinement genetic algorithm
分类号 TP311.51 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献6

二级参考文献7

  • 1全炳哲，博士学位论文，1996年
  • 2Zhu Mingyuan，ACM SIGPLAN Not，1995年，30卷，1期，11页
  • 3团体著者，计算机科学学术，1994年
  • 4Lu Jianguo，Theor Comput Sci，1993年，113卷，259页
  • 5Clack C，Lecture Notes in Computer Science.1213.Proc of the 6th Conf Evolutionary Programming，1997年
  • 6Zhang Byoung Tak，Evolutionary Computation，1995年，3卷，1期，17页
  • 7曹宏庆,康立山,陈毓屏.动态系统的演化建模[J].计算机研究与发展,1999,36(8):923-931. 被引量：19

共引文献52

同被引文献12

  • 1Spivey J M. The Z Notation: A Reference Manual (second edition) [ M ]. London: Prentice Hall, 1992.
  • 2Miao H, Liu L, Yu C,et al. Z user studio: An integrated support tool for Z specifications[ A]. Proceedings of APSEC 2001 [C]. Macao, China, IEEE Computer Society Press, 4- 7 December 2001.437 - 444.
  • 3McCabe T. A complexity measure [ J ]. IEEE Transactions on Software Engineering, 1976,2(4) :308 - 320.
  • 4Weiser M. Program slicing [ J ]. IEEE Transactions on Software Engineering, 1984,16(5) :498 - 509.
  • 5Chidamber S, Kemerer C. A metrics suite for objectoriented design[ J]. IEEE Transactions on Software Engineering, 1994, 20:476- 493.
  • 6Briand L, Daly J, Wust J. A unified framework for coupling measurement in object-oriented systems[J]. IEEE Transactions on Software Engineering, 1999,25 ( 1 ): 91 -122.
  • 7Lai R, Huang S. A model for estimating the size of a formal communication protocol specification and its implementation[ J]. IEEE Transactions on Software Engineering, 2003, 29(1) :46 - 62.
  • 8Huang S, Lai R. Measuring the maintainability of a communication protocol based on its formal specification [J]. IEEE Transactions on Software Engineering, 2003, 29(4) :327 - 344.
  • 9袁晓东,胡德强,许皓,李勇,郑国梁.形式描述语言COOZ的集成支撑环境COOZ-Tools[J].计算机工程与设计,1999,20(1):38-43. 被引量：1
  • 10李必信,杨朝晖,谭毅,朱平,李宣东,郑国梁.一种基于切片技术度量Java耦合性的框架[J].计算机学报,2001,24(3):259-265. 被引量：36

引证文献2

应用科学学报
2003年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部