16725 search results - page 2626 / 3345 » Engineering Software Correctness |
204
click to vote
SIGSOFT
2004
ACM
16 years 25 days ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
226
click to vote
MIDDLEWARE
2004
Springer
16 years 23 days ago
2004
Springer
This paper surveys a variety of subsystems designed to be the building blocks from which sophisticated infrastructures for ubiquitous computing are assembled. Our experience shows...
185
Voted
AGILEDC
2003
IEEE
16 years 21 days ago
2003
IEEE
YP is an agile programming methodology that has evolved over the past 15 years. Many of its features are common to other agile methodologies; its novel features include using a hi...
221
click to vote
AGILEDC
2003
IEEE
16 years 21 days ago
2003
IEEE
This experience report describes our efforts to introduce agile development techniques incrementally into our customer’s organization in the National Cancer Institute and develo...
193
click to vote
PLDI
2003
ACM
16 years 19 days ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...