1799 search results - page 15 / 360 » The Logic of Correctness in Software Engineering |
TASE
2007
IEEE
14 years 1 months ago
2007
IEEE
RE
2001
Springer
13 years 12 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
ISSTA
1989
ACM
13 years 11 months ago
1989
ACM
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
TASE
2008
IEEE
14 years 1 months ago
2008
IEEE
FSTTCS
2000
Springer
13 years 11 months ago
2000
Springer