1128 search results - page 130 / 226 » Little Engines of Proof |
98
Voted
TAPSOFT
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...
99
Voted
ISSTA
1993
ACM
15 years 4 months ago
1993
ACM
Most of the effort that goes into improving the quality of software paradoxically does not lead to quantitative, measurable quality. Software developers and quality-assurance orga...
120
click to vote
PROFES
2010
Springer
15 years 4 months ago
2010
Springer
Collecting large consistent data sets for real world software projects is problematic. Therefore, we explore how little data are required before the predictor performance plateaus...
121
click to vote
ESEM
2007
ACM
15 years 4 months ago
2007
ACM
Agile development methodologies have been gaining acceptance in the mainstream software development community. While there are numerous studies of Agile development in academic an...
76
Voted
AGILEDC
2004
IEEE
15 years 4 months ago
2004
IEEE
To maximize the velocity of business value delivery, Alistair Cockburn talks of having a process that is "barely sufficient." At Landmark Graphics we developed some guid...