Sciweavers

359 search results - page 33 / 72
» Implementing product line variabilities
Sort
View
FOAL
2009
ACM
14 years 4 months ago
A machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
Benjamin Delaware, William R. Cook, Don S. Batory
GTTSE
2007
Springer
14 years 4 months ago
Automated Merging of Feature Models Using Graph Transformations
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...
Sergio Segura, David Benavides, Antonio Ruiz Cort&...
ECOOP
2007
Springer
14 years 2 months ago
Automating Feature-Oriented Refactoring of Legacy Applications
Creating a software product line from a legacy application is a difficult task. We propose a tool that helps automating tedious tasks of refactoring legacy applications into featu...
Christian Kästner, Martin Kuhlemann, Don S. B...
JOT
2007
73views more  JOT 2007»
13 years 10 months ago
CM - Configuration Change Management
Configuration management, the traditional CM, has been subsumed by a new CM, change management. The strategic organization looks ahead and this includes planning for change. This ...
John McGregor
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
14 years 3 months ago
Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions
Temporal specification languages provide an efficient way to express events comprised of complex temporal scenarios. Assertions based on these languages are used to detect viola...
Avi Ziv