A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization.
https://doi.org/10.1007/978-3-540-68073-4_18
@inproceedings{DBLP:conf/icsr/ZhangYZJ08,
author = {Wei Zhang and
Hua Yan and
Haiyan Zhao and
Zhi Jin},
editor = {Hong Mei},
title = {A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints
and Customization},
booktitle = {High Confidence Software Reuse in Large Systems, 10th International
Conference on Software Reuse, {ICSR} 2008, Beijing, China, May 25-29,
2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5030},
pages = {186--199},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68073-4\_18},
doi = {10.1007/978-3-540-68073-4\_18},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/icsr/ZhangYZJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签