位置：成果数据库 > 会议 > 会议详情页
A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization
  • 所属机构名称：北京大学
  • 会议名称：10th International Conference on Software Reuse
  • 成果类型：会议
  • 相关项目：基于特征模型的软件体系结构设计研究
作者： Haiyan Zhao|Wei Zhang|Hua Yan|Zhi Jin|
同会议论文项目
基于特征模型的软件体系结构设计研究
期刊论文 5 会议论文 10 获奖 2 专利 1 著作 1
同项目会议论文
CoFM: A Web-based Collaborative Feature Modeling System for Internetware Requirements' Gathering and
A Problem-driven Collaborative Approach to Eliciting Requirements of Internetware
Tolerating Inconsistency in Feature Models
A Use-Case Based Approach to Constructing Feature Models
面向特征的需求建模及其相关技术的研究（青年学者报告）
Elicitation of Dependability Requirements: a HAZOP-based Approach
A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models
An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Feat
A problem-driven scenario-based approach to collaborative requirement elicitation