16725 search results - page 5 / 3345 » Engineering Software Correctness |
SIGADA
2005
Springer
14 years 4 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
APSEC
2008
IEEE
14 years 5 months ago
2008
IEEE
Online update is a technique that reduces the disruption caused by a software update. It does so by applying a patch to a running process as opposed to shutting down the process a...
SIGOPS
2011
13 years 5 months ago
2011
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...
PEPM
1993
ACM
14 years 3 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
APSEC
2009
IEEE
14 years 5 months ago
2009
IEEE
— This paper describes a controlled experiment of student programmers performing maintenance tasks on a C++ program. The goal of the study is to assess the maintenance size, effo...