基于二分决策图的特征模型验证方法

著录项

• 来源
  《软件学报》 |2010年第1期|84-97|共14页
• 作者

  闫华; 张伟; 赵海燕; 梅宏;

  展开▼
• 作者单位

  高可信软件技术教育部重点实验室;

  北京大学;

  北京;

  100871;

  北京大学;

  信息科学技术学院;

  软件研究所;

  北京;

  100871;

  高可信软件技术教育部重点实验室;

  北京大学;

  北京;

  100871;

  北京大学;

  信息科学技术学院;

  软件研究所;

  北京;

  100871;

  高可信软件技术教育部重点实验室;

  北京大学;

  北京;

  100871;

  北京大学;

  信息科学技术学院;

  软件研究所;

  北京;

  100871;

  高可信软件技术教育部重点实验室;

  北京大学;

  北京;

  100871;

  北京大学;

  信息科学技术学院;

  软件研究所;

  北京;

  100871;

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

  特征模型; 验证; BDD(binary decision diagram); 领域工程; 软件复用;