713 search results - page 62 / 143 » Toward a More Reliable Theory of Software Reliability |
ICMB
2005
IEEE
14 years 2 months ago
2005
IEEE
Middleware has greatly promoted the 3-tie mode of application systems. But as application software requirements become more complex and more frequently changing, the development c...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...
POPL
2007
ACM
14 years 9 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
SIGADA
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...