924 search results - page 128 / 185 » An empirical study on software engineers motivational factor... |
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
CHI
1993
ACM
14 years 1 months ago
1993
ACM
A software tool called EXPLAINER has been developed for helping programmers perform new tasks by exploring previously worked-out examples. EXPLAINER is based on cognitive principl...
ICSM
2009
IEEE
14 years 3 months ago
2009
IEEE
Existing studies on the maintenance of open source projects focus primarily on the analyses of the overall maintenance of the projects and less on specific categories like the co...
AGILEDC
2008
IEEE
14 years 3 months ago
2008
IEEE
A core principle of Agile development is to satisfy the customer by providing valuable software on an early and continuous basis. For a software application to be valuable it shou...
FASE
2009
Springer
14 years 26 days ago
2009
Springer
Abstract. Structure-oriented approaches in clone detection have become popular in both code-based and model-based clone detection. However, existing methods for capturing structura...