713 search results - page 74 / 143 » Toward a More Reliable Theory of Software Reliability |
WOSP
1998
ACM
15 years 4 months ago
1998
ACM
Increasingly, new applications are being built by composing existing software components rather than by coding a system from scratch. Using this approach, applications can be buil...
100
click to vote
ICSE
2005
IEEE-ACM
15 years 5 months ago
2005
IEEE-ACM
This report addresses some of our observations made in a dozen of projects in the area of software testing, and more specifically, in automated testing. It documents, analyzes and...
BCSHCI
2008
15 years 1 months ago
2008
Although approaches to User Centered Software Development have existed for almost 20 years a rift still exists between theory and practice. In practice, many software projects are...
114
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
SOUPS
2009
ACM
15 years 6 months ago
2009
ACM
We introduce the notion of a conditioned-safe ceremony. A “ceremony” is similar to the conventional notion of a protocol, except that a ceremony explicitly includes human part...