3330 search results - page 64 / 666 » software 2010 |
ENTCS
2006
15 years 2 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
162
click to vote
SIGSOFT
2010
ACM
15 years 11 days ago
2010
ACM
Mining software engineering data has emerged as a successful research direction over the past decade. In this position paper, we advocate Software Intelligence (SI) as the future ...
92
Voted
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
98
Voted
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
