713 search results - page 74 / 143 » Toward a More Reliable Theory of Software Reliability |
WOSP
1998
ACM
14 years 29 days 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...
ICSE
2005
IEEE-ACM
14 years 2 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
13 years 10 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...
POPL
2012
ACM
12 years 4 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
14 years 3 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...