3284 search results - page 1 / 657 » On the modularity of feature interactions |
GPCE
2008
Springer
13 years 5 months ago
2008
Springer
Feature modules are the building blocks of programs in software product lines (SPLs). A foundational assumption of feature-based program synthesis is that features are composed in...
FIW
1998
13 years 6 months ago
1998
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
JUCS
2008
13 years 4 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
ESOP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
BIBE
2006
IEEE
13 years 11 months ago
2006
IEEE
— Biological networks are formalized summaries of our knowledge about interactions among biological system components, like genes, proteins, or metabolites. From their global top...