Sciweavers

Share
18 search results - page 1 / 4
» splc 2007
Sort
View
SPLC
2007
9 years 12 days ago
Kumbang Tools
Varvana Myllärniemi, Mikko Raatikainen, Tomi ...
SPLC
2007
9 years 12 days ago
CIDE: Decomposing Legacy Applications into Features
Taking an extractive approach to decompose a legacy application into features is dif´Čücult and laborious with current approaches and tools. We present a prototype of a tooldriven...
Christian Kästner
SPLC
2007
9 years 12 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
books