1401 search results - page 1 / 281 » Tool Integration for Reasoned Programming |
VSTTE
2005
Springer
14 years 4 months ago
2005
Springer
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...
TOOLS
1999
IEEE
14 years 3 months ago
1999
IEEE
TAP
2007
Springer
14 years 5 months ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...
CL
2004
Springer
13 years 11 months ago
2004
Springer
LPNMR
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...