2276 search results - page 336 / 456 » Aspect-Oriented Requirements Engineering for Component-Based... |
155
Voted
IWPC
2002
IEEE
15 years 9 months ago
2002
IEEE
When we try to debug or to comprehend a large program, it is important to separate suspicious program portions from the overall source program. Program slicing is a promising tech...
113
Voted
METRICS
1997
IEEE
15 years 8 months ago
1997
IEEE
An experiment comparing the effectiveness of equivalence partitioning (EP), boundary value analysis (BVA), and random testing was performed, based on an operational avionics syste...
139
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...
114
click to vote
QOSA
2010
Springer
15 years 1 months ago
2010
Springer
Self-adaptation is now a promising approach to maximize the satisfaction of requirements under changing environmental conditions. One of the key challenges for such self-adaptive s...
128
click to vote
UIST
2005
ACM
15 years 9 months ago
2005
ACM
Location information can be used to enhance interaction with mobile devices. While many location systems require instrumentation of the environment, we present a system that allow...