1799 search results - page 112 / 360 » The Logic of Correctness in Software Engineering |
149
Voted
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
175
Voted
ISPW
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract. Zorro is a system designed to automatically determine whether a developer is complying with the Test-Driven Development (TDD) process. Automated recognition of TDD could ...
165
Voted
IWPC
2006
IEEE
16 years 5 days ago
2006
IEEE
The presence of traceability links between software artefacts is very important to achieve high comprehensibility and maintainability. This is confirmed by several researches and ...
153
click to vote
FSTTCS
2009
Springer
16 years 22 days ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
186
Voted
FOSSACS
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...