Sciweavers

1128 search results - page 119 / 226
» Little Engines of Proof
Sort
View
ICSM
2009
IEEE
15 years 7 months ago
A theoretical and empirical study of EFSM dependence
Dependence analysis underpins many activities in software maintenance such as comprehension and impact analysis. As a result, dependence has been studied widely for programming la...
Kelly Androutsopoulos, Nicolas Gold, Mark Harman, ...
94
Voted
ICSM
2009
IEEE
15 years 7 months ago
Expert recommendation with usage expertise
Global and distributed software development increases the need to find and connect developers with relevant expertise. Existing recommendation systems typically model expertise b...
David Ma, David Schuler, Thomas Zimmermann, Jonath...
IWPC
2009
IEEE
15 years 7 months ago
Impact analysis and visualization toolkit for static crosscutting in AspectJ
Understanding aspect-oriented systems, without appropriate tool support, is a difficult and a recognized problem in the research community. Surprisingly, little has been done to ...
Dehua Zhang, Ekwa Duala-Ekoko, Laurie J. Hendren
87
Voted
SLE
2009
Springer
15 years 7 months ago
Language Evolution in Practice: The History of GMF
In consequence of changing requirements and technological progress, software languages are subject to change. The changes affect the language’s specification, which in turn a...
Markus Herrmannsdoerfer, Daniel Ratiu, Guido Wachs...
ESEM
2009
ACM
15 years 7 months ago
Scope error detection and handling concerning software estimation models
Over the last 25+ years, the software community has been searching for the best models for estimating variables of interest (e.g., cost, defects, and fault proneness). However, li...
Salvatore Alessandro Sarcià, Victor R. Basi...