Sciweavers

847 search results - page 9 / 170
» An Algebra for Features and Feature Composition
Sort
View
SIGSOFT
2009
ACM
14 years 8 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory
SOCO
2009
Springer
14 years 2 months ago
Language-Independent Quantification and Weaving for Feature Composition
Stefan Boxleitner, Sven Apel, Christian Kästn...
TOPLAS
2010
59views more  TOPLAS 2010»
13 years 5 months ago
A calculus for uniform feature composition
Sven Apel, DeLesley Hutchins
COMPSAC
2004
IEEE
13 years 11 months ago
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
Peter Henderson, Robert John Walters, Stephen Crou...