欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
会议
> 会议详情页
Binary-search based verification of feature models
所属机构名称:北京大学
会议名称:12th International Conference on Software Reuse, ICSR 2011
成果类型:会议
会场:Pohang
相关项目:网络环境下场景驱动的需求捕获与分析技术研究
作者:
Zhang, Wei|Mei, Hong|Zhao, Haiyan|
同会议论文项目
网络环境下场景驱动的需求捕获与分析技术研究
期刊论文 7
会议论文 10
同项目会议论文
A problem-driven collaborative approach to eliciting requirements of internetwares
CoFM: A web-based collaborative feature modeling system for internetware requirements'; gathering an
A dynamic-priority based approach to fixing inconsistent feature models
Dual-Container: Extending the EJB2.x Container to Support EJB3.0
A Use Case Based Approach to Feature Models'; Construction
An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Feat
Towards a more fundamental explanation of constraints in feature models: A requirement-oriented appr
企业信息系统中基于场景的协同式需求获取方法
A BDD-based approach to verifying clone-enabled feature models'; constraints and customization