3330 search results - page 64 / 666 » software 2010 |
ENTCS
2006
13 years 8 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
SIGSOFT
2010
ACM
13 years 5 months 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 ...
FOSSACS
2010
Springer
14 years 2 months ago
2010
Springer
FOSSACS
2010
Springer
14 years 2 months ago
2010
Springer
