Sciweavers

ECLIPSE
2006
ACM
13 years 8 months ago
A toolsuite for the verification of real-time systems in Eclipse
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...
Lucía Cavatorta, Guido de Caso, André...
ECLIPSE
2007
ACM
13 years 8 months ago
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
Nicolás D'Ippolito, Dario Fischbein, Howard...
ECLIPSE
2004
ACM
13 years 10 months ago
Sangam: a distributed pair programming plug-in for Eclipse
Pair programming requires two programmers working together at one computer. However, the trend toward globally distributed organizations makes long-distance collaboration necessar...
Chih-Wei Ho, Somik Raha, Edward F. Gehringer, Laur...
ACMSE
2004
ACM
13 years 10 months ago
E-R modeler: a database modeling toolkit for Eclipse
Eclipse is a Java integrated development environment (IDE) and tool integration platform that offers numerous extension points for customization through a plug-in architecture. Th...
Song Zhou, Chuanxi Xu, Hui Wu, Jing Zhang, Yuehua ...
ECLIPSE
2006
ACM
13 years 10 months ago
Generating run-time progress reports for a points-to analysis in Eclipse
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...
Jason Sawin, Mariana Sharp, Atanas Rountev
IWPC
2006
IEEE
13 years 10 months ago
Alborz: An Interactive Toolkit to Extract Static and Dynamic Views of a Software System
: Alborz is a multi-view, interactive, and wizard-based software architecture reconstruction and evaluation toolkit that takes advantage of the Eclipse plug-in technology to provid...
Kamran Sartipi, Lingdong Ye, Hossein Safyallah
ICSM
2007
IEEE
13 years 10 months ago
JDeodorant: Identification and Removal of Feature Envy Bad Smells
In this demonstration we present an Eclipse plug-in that identifies Feature Envy bad smells in Java projects and resolves them by applying the appropriate Move Method refactorings...
Marios Fokaefs, Nikolaos Tsantalis, Alexander Chat...
CSMR
2008
IEEE
13 years 11 months ago
JDeodorant: Identification and Removal of Type-Checking Bad Smells
In this demonstration, we present an Eclipse plug-in that automatically identifies Type-Checking bad smells in Java source code, and resolves them by applying the “Replace Condi...
Nikolaos Tsantalis, Theodoros Chaikalis, Alexander...
XPU
2009
Springer
13 years 11 months ago
FitClipse: A Tool for Executable Acceptance Test Driven Development
FitClipse is an Eclipse plug-in for facilitating Executable Acceptance Test Driven Development. The tool allows the users to edit acceptance tests, automatically generate fixtures,...
Shahedul Huq Khandkar, Shelly Park, Yaser Ghanam, ...