1799 search results - page 133 / 360 » The Logic of Correctness in Software Engineering |
169
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
170
click to vote
ISSRE
2006
IEEE
16 years 9 days ago
2006
IEEE
The benefits that a software organization obtains from estimates of product quality are dependent upon how early in the product cycle that these estimates are available. Early est...
171
click to vote
EUROMICRO
2005
IEEE
15 years 12 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
149
click to vote
PROFES
2007
Springer
16 years 12 days ago
2007
Springer
The cost of a Software Product Line (SPL) development project sometimes exceeds the initially planned cost, because of requirements volatility and poor quality. In this paper, we p...
167
click to vote
SIGCSE
2004
ACM
15 years 11 months ago
2004
ACM
Introductory computer science students rely on a trial and error approach to fixing errors and debugging for too long. Moving to a reflection in action strategy can help students ...