Powered by

2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI), May 21, 2013, San Francisco, CA, USA

TOPI 2013 – Proceedings

Contents - Abstracts - Authors

3rd International Workshop on Developing Tools as Plug-Ins (TOPI)

Title Page
Article: icsews13topiforeword-fm000-p doi:

Foreword
Article: icsews13topiforeword-fm001-p doi:

Developing a Domain-Specific Plug-In for a Modelling Platform: The Good, the Bad, the Ugly
Lionel Montrieux, Yijun Yu, and Michel Wermelinger
(Open University, UK)
Article: icsews13topi-1-p doi:

ReFit: A Fit Test Maintenance Plug-In for the Eclipse Refactoring Plug-In
Michael Druk and Martin Kropp
(Sapiens Int., Israel; FHNW, Switzerland)
Article: icsews13topi-3-p doi:

Challenges in Developing a Software Architecture Evolution Tool as a Plug-In
Jeffrey M. Barnes and David Garlan
(CMU, USA)
Article: icsews13topi-5-p doi:

Towards Accessible Integration and Deployment of Formal Tools and Techniques
Andrei Lapets, Rick Skowyra, Azer Bestavros, and Assaf Kfoury
(Boston University, USA)
Article: icsews13topi-7-p doi:

Integrating S6 Code Search and Code Bubbles
Steven P. Reiss
(Brown University, USA)
Article: icsews13topi-8-p doi:

A CPI Breakdown Model Plug-In for Optimizing Application Performance
Rodrigo Fraxino Araujo, Daniel Barboza, Rafael Sene, Rafael Teixeira, Renato João, and Wainer Santos Moschetta
(IBM, Brazil)
Article: icsews13topi-10-p doi:

TerraME GIMS: An Eclipse Plug-In for Environmental Modeling
Tiago Lima, Tiago Carneiro, Sergio Faria, Pablo Silva, and Miguel Pessoa
(UFOP, Brazil; UFMG, Brazil)
Article: icsews13topi-12-p doi:

A Visual Studio Plug-In for CProver
Mohamed Nassim Seghir and Daniel Kroening
(University of Oxford, UK)
Article: icsews13topi-13-p doi:

A Rigorous Methodology for Analyzing and Designing Plug-Ins
Marieta V. Fasie, Anne E. Haxthausen, and Joseph R. Kiniry
(DTU, Denmark)
Article: icsews13topi-2-p doi:

Lightweight Tool Coordination: Path* - A Minimal Framework for Tool Coordination
Reid D. McKenzie and Dewayne E. Perry
(University of Texas at Austin, USA)
Article: icsews13topi-11-p doi:

proc time: 0.04