Sciweavers

18 search results - page 1 / 4
» splc 2007
Sort
View
SPLC
2007
15 years 2 days ago
Kumbang Tools
Varvana Myllärniemi, Mikko Raatikainen, Tomi ...
SPLC
2007
15 years 2 days 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
88
Voted
SPLC
2007
15 years 2 days 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