492 search results - page 7 / 99 » Automating software feature verification |
JUCS
2006
13 years 6 months ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
ICASSP
2008
IEEE
14 years 1 months ago
2008
IEEE
Noisy or distorted video/audio training sets represent constant challenges in automated identification and verification tasks. We propose the method of Mutual Interdependence An...
CAISE
2005
Springer
14 years 7 days ago
2005
Springer
Abstract Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability ...
TPHOL
1999
IEEE
13 years 11 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
JSS
2010
13 years 1 months ago
2010
Software product-lines (SPLs) are software architectures that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rul...