Sciweavers

18 search results - page 1 / 4
» splc 2007
Sort
View
SPLC
2007
13 years 5 months ago
Kumbang Tools
Varvana Myllärniemi, Mikko Raatikainen, Tomi ...
SPLC
2007
13 years 5 months ago
CIDE: Decomposing Legacy Applications into Features
Taking an extractive approach to decompose a legacy application into features is difficult and laborious with current approaches and tools. We present a prototype of a tooldriven...
Christian Kästner
SPLC
2007
13 years 5 months ago
Reasoning about Feature Models in Higher-Order Logic
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
Mikolás Janota, Joseph Kiniry