15885 search results - page 2488 / 3177 » Strategic Software Engineering |
205
Voted
SIGSOFT
2004
ACM
16 years 27 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...
227
Voted
MIDDLEWARE
2004
Springer
16 years 25 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...
186
click to vote
AGILEDC
2003
IEEE
16 years 24 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...
222
Voted
AGILEDC
2003
IEEE
16 years 24 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...
194
click to vote
PLDI
2003
ACM
16 years 22 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...