软件形式化开发关键部件选取的水波优化方法

著录项

• 来源
  《软件学报》 |2016年第4期|933-942|共10页
• 作者

  郑宇军; 张蓓; 薛锦云;

  展开▼
• 作者单位

  浙江工业大学计算机科学与技术学院;

  浙江杭州310023;

  江西省高性能计算重点实验室(江西师范大学);

  江西南昌 330027;

  浙江工业大学计算机科学与技术学院;

  浙江杭州310023;

  江西省高性能计算重点实验室(江西师范大学);

  江西南昌 330027;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 程序设计、软件工程;
• 关键词

  形式化方法; 可靠度; 元启发式搜索方法; 水波优化算法;