2430 search results - page 425 / 486 » Tool support for quality-driven development of software arch... |
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
218
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
To improve software productivity, when constructing new software systems, programmers often reuse existing libraries or frameworks by invoking methods provided in their APIs. Those...
121
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Code coverage is a common aid in the testing process. It is generally used for marking the source code segments that were executed and, more importantly, those that were not execu...
119
click to vote
PADL
2010
Springer
15 years 10 months ago
2010
Springer
A well-known bad code smell in refactoring and software maintenance is duplicated code, that is the existence of code clones, which are code fragments that are identical or similar...
122
click to vote
CHI
2009
ACM
15 years 8 months ago
2009
ACM
How is work created, assigned, and completed on large-scale, crowd-powered systems like Wikipedia? And what design principles might enable these federated online systems to be mor...