Feature configuration modeling and problem solving for software product line
暂无分享,去创建一个
[1] Dieter Fensel,et al. Ontologies and the configurations of problem-solving methods , 1996 .
[2] Paul Clements,et al. Software product lines - practices and patterns , 2001, SEI series in software engineering.
[3] Hai H. Wang,et al. Formal semantics and verification for feature modeling , 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).
[4] Jan Bosch,et al. Representing Variability in Software Product Lines: A Case Study , 2002, SPLC.
[5] Mike Mannion. Using First-Order Logic for Product Line Model Validation , 2002, SPLC.
[6] Reijo Sulonen,et al. Towards a general ontology of configuration , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.
[7] Antonio Ruiz Cortés,et al. Using Constraint Programming to Reason on Feature Models , 2005, SEKE.
[8] Haiyan Zhao,et al. A Propositional Logic-Based Method for Verification of Feature Models , 2004, ICFEM.
[9] Jan Bosch,et al. Design and use of software architectures - adopting and evolving a product-line approach , 2000 .