1926 search results - page 25 / 386 » Modeling and Model Checking Software Product Lines |
TSE
2008
14 years 9 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
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...
VAMOS
2010
Springer
14 years 11 months ago
2010
Springer
In its basic form, a variability model describes the variations among similar artifacts from a structural point of view. It does not capture any information about when these variat...
88
Voted
GPCE
2007
Springer
15 years 3 months ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
60
Voted
SAC
2009
ACM
15 years 2 months ago
2009
ACM
Component systems have become a wide-spread technology and found their place in several application domains. Each component system has its speciļ¬cs and particularities that reļ¬...