Sciweavers

ECLIPSE
2006
ACM
13 years 10 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 10 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
14 years 9 days 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
14 years 9 days 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
14 years 25 days 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
14 years 27 days 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
14 years 1 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
14 years 1 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
14 years 1 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, ...