2162 search results - page 8 / 433 » Automated Reasoning on Feature Models |
144
Voted
ECSQARU
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we examine the ability to perform causal reasoning with equilibrium models. We explicate a postulate, which we term the Manipulation Postulate, that is required in o...
149
click to vote
OOPSLA
2009
Springer
16 years 12 days ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...