9 search results - page 2 / 2 » Exploratory Analysis of Co-Change Graphs for Code Refactorin... |
ICSE
2008
IEEE-ACM
14 years 6 months ago
2008
IEEE-ACM
Because of the strong coupling of classes and the proliferation of unneeded class members induced by inheritance, the suggestion to use composition and delegation instead has beco...
SIGSOFT
2003
ACM
14 years 6 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
AOSD
2008
ACM
13 years 7 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
ICSE
2001
IEEE-ACM
13 years 9 months ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...