6348 search results - page 780 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
171
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types),...
204
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
Traces of the evolution of software systems are left in a number of different repositories: such as configuration management systems, bug tracking systems, mailing lists. Develope...
160
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Global and distributed software development increases the need to find and connect developers with relevant expertise. Existing recommendation systems typically model expertise b...
126
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
ISO 9126 promotes a three-level model of quality (factors, criteria, and metrics) which allows one to assess quality at the top level of factors and criteria. However, it is dif...
167
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Automated static analysis can identify potential source code anomalies early in the software process that could lead to field failures. However, only a small portion of static ana...