1799 search results - page 173 / 360 » The Logic of Correctness in Software Engineering |
149
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...
140
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do thi...
183
click to vote
QSIC
2009
IEEE
16 years 1 months ago
2009
IEEE
The presence of code and design smells can have a severe impact on the quality of a program. Consequently, their detection and correction have drawn the attention of both research...
166
click to vote
ESEM
2009
ACM
16 years 1 months ago
2009
ACM
Usability testing activities have numerous benefits in theory, yet they are often overlooked or disregarded in practice. A testing paradigm which yields objective, quantitative re...
154
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
Databases are continuously evolving environments, where design constructs are added, removed or updated rather often. Small changes in the database configurations might impact a l...