1799 search results - page 185 / 360 » The Logic of Correctness in Software Engineering |
143
click to vote
CGO
2009
IEEE
16 years 1 months ago
2009
IEEE
—As semiconductor technology scales into the deep submicron regime the occurrence of transient or soft errors will increase. This will require new approaches to error detection. ...
167
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
—“God class” is a term used to describe a certain type of large classes which “know too much or do too much”. Often a God class (GC) is created by accident as functionali...
156
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Planning a complex software modification task imposes a high cognitive burden on developers, who must juggle navigating the software, understanding what they see with respect t...
177
click to vote
SCAM
2008
IEEE
16 years 28 days ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
167
click to vote
APSEC
2005
IEEE
16 years 5 days ago
2005
IEEE
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...