1926 search results - page 22 / 386 » Modeling and Model Checking Software Product Lines |
84
Voted
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
The development of a highly configurable data management system is a challenging task, especially if it is to be implemented on an embedded system that provides limited resources...
100
click to vote
SAC
2008
ACM
14 years 9 months ago
2008
ACM
In Software Product Lines (SPLs), product configuration is a decision-making process in which a group of stakeholders choose features for a product. Unfortunately, current configu...
100
Voted
ECSA
2010
Springer
14 years 10 months ago
2010
Springer
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...
CAISE
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...