6348 search results - page 334 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
124
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
112
click to vote
AGILEDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Some have described Agile and Infrastructure as an oxymoron: they just don’t fit together. During one year we have focused on using agile techniques in three different infrastru...
134
click to vote
AGILEDC
2008
IEEE
15 years 11 months ago
2008
IEEE
This experience report describes the challenges and initial steps taken to move a large development team from traditional waterfall test phases to agile test methods. In late 2007...
144
click to vote
COMSWARE
2008
IEEE
15 years 11 months ago
2008
IEEE
—We have created a large-scale information delivery platform optimized for mobile phones and used it for many months now to run a content delivery service through SMS. We share t...
128
click to vote
CSMR
2008
IEEE
15 years 11 months ago
2008
IEEE
Refactoring, in spite of widely acknowledged as one of the best practices of object-oriented design and programming, still lacks quantitative grounds and efficient tools for tasks...