263 search results - page 2 / 53 » Type-Checking Software Product Lines - A Formal Approach |
OOPSLA
2005
Springer
13 years 11 months ago
2005
Springer
This paper presents a separation of concerns approach to solve the tangling problem of functional and Quality of Service (QoS) concerns in traditional Component-based Software Eng...
FIW
2007
13 years 7 months ago
2007
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...
SPLC
2010
13 years 3 months ago
2010
Abstract. Feature modeling is a technique for capturing commonality and variability. Feature models symbolize a representation of the possible application configuration space, and ...
JSW
2008
13 years 5 months ago
2008
- In the Software Product Line approach, product configuration is a key activity in which stakeholders choose features for a product. This activity is critical in the sense that ca...
FIW
2009
13 years 3 months ago
2009
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...