176 search results - page 15 / 36 » Constraint solvers: An empirical evaluation of design decisi... |
SPLC
2008
14 years 11 months ago
2008
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Conf...
CHI
2004
ACM
15 years 10 months ago
2004
ACM
Emerging technologies offer new ways of using entertainment technology to foster interactions between players and connect people. Evaluating entertainment technology is challengin...
78
Voted
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
77
Voted
WCE
2007
14 years 10 months ago
2007
— The rapid transit network design problem considers at upper level the list of potential transit corridors and stations to design the network as a discrete space of alternatives...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Software engineering activities in the Industry has come a long way with various improvements brought in various stages of the software development life cycle. The comple...