%0 Journal Article
%T BDD-Based Approach to the Verification of Feature Models<br>基于二分决策图的特征模型验证方法
%A YAN Hua
%A ZHANG Wei
%A ZHAO Hai-Yan
%A MEI Hong
%A <br>闫华
%A 张伟
%A 赵海燕
%A 梅宏
%J 软件学报
%D 2010
%I 
%X The feature model is a reusable requirements model generated from the domain analysis. The reuse of feature models is usually achieved by a customizing-based approach. One important issue in feature models' customization is the verification problem,caused by the fact that there are usually constraints among features,and that a valid customizing result must satisfy all these constraints. Because of the NP-hard nature of this problem,it is usually difficult to verify feature models in an efficient way. This p...
%K feature model
%K verification
%K BDD (binary decision diagram)
%K domain engineering
%K software reuse<br>特征模型
%K 验证
%K BDD(binary
%K decision
%K diagram)
%K 领域工程
%K 软件复用
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=DD4032774EC371F1AD3A983DE7686D62&yid=140ECF96957D60B2&vid=659D3B06EBF534A7&iid=CA4FD0336C81A37A&sid=656F8C8401D91023&eid=C3BF5C58156BEDF0&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=16