631 search results - page 71 / 127 » Producing reliable software: an experiment |
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—Network protocols have traditionally been designed using a layered method in part because it is easier to implement some portions of network protocols in software and other port...
AGILEDC
2003
IEEE
14 years 1 months ago
2003
IEEE
YP is an agile programming methodology that has evolved over the past 15 years. Many of its features are common to other agile methodologies; its novel features include using a hi...
PLDI
2003
ACM
14 years 29 days ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
IJCAI
1997
13 years 9 months ago
1997
This paper describes QUEM, a method for assessing the skill level of a knowledge-based system based on the quality of the solutions it produces. QUEM is demonstrated by using it t...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Software teams should follow a well defined goal and keep their work focused. Work fragmentation is bad for efficiency and quality. In this paper we empirically investigate the re...