TOPI 2013 – Proceedings

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

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)


@InProceedings{TOPI13p1, author = {Lionel Montrieux and Yijun Yu and Michel Wermelinger}, title = {Developing a Domain-Specific Plug-In for a Modelling Platform: The Good, the Bad, the Ugly}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2013}, } 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)


@InProceedings{TOPI13p7, author = {Michael Druk and Martin Kropp}, title = {ReFit: A Fit Test Maintenance Plug-In for the Eclipse Refactoring Plug-In}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {7-6}, doi = {}, year = {2013}, } 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)


@InProceedings{TOPI13p13, author = {Jeffrey M. Barnes and David Garlan}, title = {Challenges in Developing a Software Architecture Evolution Tool as a Plug-In}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {13-12}, doi = {}, year = {2013}, } 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)


@InProceedings{TOPI13p19, author = {Andrei Lapets and Rick Skowyra and Azer Bestavros and Assaf Kfoury}, title = {Towards Accessible Integration and Deployment of Formal Tools and Techniques}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {19-18}, doi = {}, year = {2013}, } Article: icsews13topi-7-p doi:

Integrating S6 Code Search and Code Bubbles
Steven P. Reiss
(Brown University, USA)


@InProceedings{TOPI13p25, author = {Steven P. Reiss}, title = {Integrating S6 Code Search and Code Bubbles}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {25-24}, doi = {}, year = {2013}, } 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)


@InProceedings{TOPI13p31, author = {Rodrigo Fraxino Araujo and Daniel Barboza and Rafael Sene and Rafael Teixeira and Renato João and Wainer Santos Moschetta}, title = {A CPI Breakdown Model Plug-In for Optimizing Application Performance}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2013}, } 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)


@InProceedings{TOPI13p37, author = {Tiago Lima and Tiago Carneiro and Sergio Faria and Pablo Silva and Miguel Pessoa}, title = {TerraME GIMS: An Eclipse Plug-In for Environmental Modeling}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {37-36}, doi = {}, year = {2013}, } Article: icsews13topi-12-p doi:

A Visual Studio Plug-In for CProver
Mohamed Nassim Seghir and Daniel Kroening
(University of Oxford, UK)


@InProceedings{TOPI13p43, author = {Mohamed Nassim Seghir and Daniel Kroening}, title = {A Visual Studio Plug-In for CProver}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {43-42}, doi = {}, year = {2013}, } 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)


@InProceedings{TOPI13p49, author = {Marieta V. Fasie and Anne E. Haxthausen and Joseph R. Kiniry}, title = {A Rigorous Methodology for Analyzing and Designing Plug-Ins}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {49-48}, doi = {}, year = {2013}, } 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)


@InProceedings{TOPI13p55, author = {Reid D. McKenzie and Dewayne E. Perry}, title = {Lightweight Tool Coordination: Path* - A Minimal Framework for Tool Coordination}, booktitle = {Proc.\ TOPI}, publisher = {IEEE}, pages = {55-54}, doi = {}, year = {2013}, } Article: icsews13topi-11-p doi:

proc time: 0.03