Powered by
2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI), May 21, 2013,
San Francisco, CA, USA
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
proc time: 0.04