16725 search results - page 26 / 3345 » Engineering Software Correctness |
102
Voted
ICSE
2005
IEEE-ACM
15 years 11 months ago
2005
IEEE-ACM
PEPM
2010
ACM
15 years 8 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speciļ...
ICSM
2002
IEEE
15 years 4 months ago
2002
IEEE
When a software system critical for an organization exhibits a problem during its operation, it is relevant to ļ¬x it in a short period of time, to avoid serious economical losse...
107
click to vote
ISPW
2005
IEEE
15 years 5 months ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness veriļ¬cation, evolution management, proces...