2404 search results - page 85 / 481 » Postmodernism and Control Engineering |
138
click to vote
COMPSAC
2008
IEEE
16 years 22 days ago
2008
IEEE
Predicate-based statistical fault-localization techniques locate fault-relevant predicates in a program by contrasting the statistics of the values of individual predicates betwee...
177
click to vote
QSIC
2006
IEEE
16 years 8 days ago
2006
IEEE
Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, f...
176
click to vote
CSMR
2005
IEEE
15 years 12 months ago
2005
IEEE
Real world software systems undergo, during their lifetime, to repeated maintenance activities. Due to the market pressure and to the need for having back the system operational i...
161
click to vote
ETFA
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
172
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Effectiveness of testing criteria is the ability to detect failures in a software program. We consider not only effectiveness of some testing criterion in itself but a variance of...