1926 search results - page 17 / 386 » Modeling and Model Checking Software Product Lines |
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
The essence of any modeling approach for product line architectures lies in its ability to express variability. Existing approaches do so by explicitly specifying variation points...
KBSE
2008
IEEE
15 years 3 months ago
2008
IEEE
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
81
Voted
CISIS
2010
IEEE
15 years 4 months ago
2010
IEEE
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...
78
Voted
INFSOF
2007
14 years 9 months ago
2007
Business has been highlighted as a one of the critical dimensions of software product line engineering. This paper’s main contribution is to increase the understanding of the in...
123
Voted
SPLC
2010
14 years 11 months ago
2010
This paper presents a case study of creating a software product line for the train signaling domain. The Train Control Language (TCL) is a DSL which automates the production of sou...