Sciweavers

924 search results - page 128 / 185
» An empirical study on software engineers motivational factor...
Sort
View
ESOP
2005
Springer
15 years 11 months ago
A Type System Equivalent to a Model Checker
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...
Mayur Naik, Jens Palsberg
CHI
1993
ACM
15 years 10 months ago
Reducing the variability of programmers' performance through explained examples
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...
David F. Redmiles
ICSM
2009
IEEE
16 years 24 days ago
On predicting the time taken to correct bug reports in open source projects
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...
Prasanth Anbalagan, Mladen A. Vouk
AGILEDC
2008
IEEE
16 years 19 days ago
Agile Methods and User-Centered Design: How These Two Methodologies are Being Successfully Integrated in Industry
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...
David Fox, Jonathan Sillito, Frank Maurer
FASE
2009
Springer
15 years 10 months ago
Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection
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...
Hoan Anh Nguyen, Tung Thanh Nguyen, Nam H. Pham, J...