1685 search results - page 39 / 337 » Commonality and Variability in Software Engineering |
111
click to vote
IWPC
2006
IEEE
15 years 8 months ago
2006
IEEE
A common and difficult maintenance activity is the integration of existing software components or tools into a consistent and interoperable whole. One area in which this has prove...
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
131
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
108
click to vote
EUROMICRO
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper proposes and evaluates error detection and recovery mechanisms suitable for embedded systems. The purpose of these mechanisms is to provide detection of and recovery fr...
117
click to vote
WCRE
2009
IEEE
15 years 8 months ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...