15777 search results - page 751 / 3156 » The Reformulation-Optimization Software Engine |
191
Voted
WCRE
2009
IEEE
16 years 2 months ago
2009
IEEE
The proposed research defines data fusion approaches to support software maintenance tasks at the feature level. Static, dynamic, and textual sources of information are combined t...
188
click to vote
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—With the wide support for serialization in objectoriented programming languages, persistent objects have become common place. Retrieving previously “persisted” objec...
193
click to vote
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present the metric lens, a new visualization of methodlevel code metrics atop UML class diagrams, which allows performing metric-metric and metric-structure correlations on lar...
183
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a model of incremental change that consists of concept location, impact analysis, actualization, change propagation, supporting refactorings, and testing. Repe...
262
Voted
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...