319 search results - page 55 / 64 » The comment density of open source software code |
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
103
click to vote
SIGSOFT
2006
ACM
15 years 3 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
126
click to vote
ICSE
2007
IEEE-ACM
15 years 3 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
78
Voted
FMCAD
2009
Springer
15 years 4 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...