Sciweavers

6197 search results - page 392 / 1240
» Sandbridge Software Tools
Sort
View
ICSE
2010
IEEE-ACM
15 years 11 months ago
An empirical study of optimizations in YOGI
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
Aditya V. Nori, Sriram K. Rajamani
IV
2000
IEEE
112views Visualization» more  IV 2000»
15 years 11 months ago
Evaluating Visualizations Based on the Performed Task
This paper describes an ongoing project with the goal of designing and implementing a method to evaluate visualizations based on the tasks supported. The method evaluates time to ...
Octavio Juarez Espinosa, Chris Hendrickson, James ...
ECLIPSE
2006
ACM
16 years 23 days ago
MolhadoRef: a refactoring-aware infrastructure for OO programs
Refactoring tools allow programmers to change source code much quicker than before. However, the complexity of these changes cause versioning tools that operate at a file level t...
Danny Dig, Kashif Manzoor, Tien N. Nguyen, Ralph J...
ICSM
2005
IEEE
16 years 12 days ago
The Role of Refactorings in API Evolution
Frameworks and libraries change their APIs. Migrating an application to the new API is tedious and disrupts the development process. Although some tools and ideas have been propos...
Danny Dig, Ralph Johnson
KBSE
2003
IEEE
16 years 2 days ago
Refactoring C with Conditional Compilation
Refactoring, an important technique for increasing flexibility of the source code, can be applied with much ease and efficiency by using automated tools. There is currently a lack...
Alejandra Garrido, Ralph Johnson