Sciweavers

2162 search results - page 1 / 433
» Automated Reasoning on Feature Models
Sort
View
66
Voted
CAISE
2005
Springer
15 years 6 months ago
Automated Reasoning on Feature Models
Abstract Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability ...
David Benavides, Pablo Trinidad Martín-Arro...
85
Voted
LICS
1998
IEEE
15 years 4 months ago
The First-Order Theory of Ordering Constraints over Feature Trees
Martin Müller, Joachim Niehren, Ralf Treinen
83
Voted
GIS
1998
ACM
15 years 4 months ago
Matching and Aligning Features in Overlayed Coverages
J. Mark Ware, Christopher B. Jones
99
Voted
RR
2010
Springer
14 years 10 months ago
SPARQL1.1: New Features and Friends (OWL2, RIF)
Axel Polleres