16725 search results - page 303 / 3345 » Engineering Software Correctness |
99
Voted
ISPW
2008
IEEE
15 years 10 months ago
2008
IEEE
108
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
—Writing correct multithreaded programs is difficult. Existing tools for finding bugs in multithreaded programs primarily focus on finding generic concurrency problems such as...
131
click to vote
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...
118
click to vote
ICSM
2002
IEEE
15 years 9 months ago
2002
IEEE
Assertions, or more generally “Programming by contract”, have gained widespread acceptance in the computer science community as a means for correct program development. Howeve...
129
Voted
STEP
2005
IEEE
15 years 9 months ago
2005
IEEE
Maintenance costs make up the bulk of the total life cycle costs of a software system. Besides organizational issues such as knowledge management and turnover, the longterm mainte...