3284 search results - page 251 / 657 » On the modularity of feature interactions |
166
click to vote
CPE
2003
Springer
15 years 12 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
179
click to vote
ECOOP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
163
click to vote
ITNG
2010
IEEE
15 years 11 months ago
2010
IEEE
—Healthcare services and systems throughout the world are in trouble and the proportion of expenditures devoted to healthcare is increasing rapidly. In addition to that, an incre...
203
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
GenVoca is a methodology and technology for generating product-lines, i.e. building variants of a program. The primitive components from which applications are constructed are ref...
164
click to vote
GPCE
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...