The Community for Technology Leaders
2013 3rd International Workshop on Developing Tools as Plug-ins (TOPI) (2013)
San Francisco, CA, USA
May 21, 2013 to May 21, 2013
ISSN: 2327-0748
ISBN: 978-1-4673-6288-7
TABLE OF CONTENTS

Front matter (PDF)

pp. i-ii

Contents (PDF)

pp. 1

Front matter (PDF)

pp. iii-iv

Developing a domain-specific plug-in for a modelling platform: The good, the bad, the ugly (Abstract)

Lionel Montrieux , Centre for Research in Computing, The Open University, Milton Keynes, UK
Yijun Yu , Centre for Research in Computing, The Open University, Milton Keynes, UK
Michel Wermelinger , Centre for Research in Computing, The Open University, Milton Keynes, UK
pp. 1-6

ReFit: A Fit test maintenance plug-in for the Eclipse refactoring plug-in (Abstract)

Michael Druk , IDIT Sapiens International Corporation Beit Dagan, Israel
Martin Kropp , Institute of Mobile and Distributed Systems, University of Applied Sciences Northwestern Switzerland Windisch, Switzerland
pp. 7-12

Challenges in developing a software architecture evolution tool as a plug-in (Abstract)

Jeffrey M. Barnes , Carnegie Mellon University, Pittsburgh, PA
David Garlan , Carnegie Mellon University, Pittsburgh, PA
pp. 13-18

Towards accessible integration and deployment of formal tools and techniques (Abstract)

Andrei Lapets , Computer Science Dept. Boston University Boston, Massachusetts, 02215 U.S.A.
Rick Skowyra , Computer Science Dept. Boston University Boston, Massachusetts, 02215 U.S.A.
Azer Bestavros , Computer Science Dept. Boston University Boston, Massachusetts, 02215 U.S.A.
Assaf Kfoury , Computer Science Dept. Boston University Boston, Massachusetts, 02215 U.S.A.
pp. 19-24

Integrating S6 code search and Code Bubbles (Abstract)

Steven P. Reiss , Department of Computer Science Brown University Providence, RI. 02912 USA
pp. 25-30

A CPI breakdown model plug-in for optimizing application performance (Abstract)

Rodrigo Fraxino Araujo , Linux Technology Center IBM Brazil Hortolândia, Brazil
Daniel Barboza , Linux Technology Center IBM Brazil Hortolândia, Brazil
Rafael Sene , Linux Technology Center IBM Brazil Hortolândia, Brazil
Rafael Teixeira , Linux Technology Center IBM Brazil Hortolândia, Brazil
Renato Joao , Linux Technology Center IBM Brazil Hortolândia, Brazil
Wainer Santos Moschetta , Linux Technology Center IBM Brazil Hortolândia, Brazil
pp. 31-36

TerraME GIMS: An Eclipse plug-in for environmental modeling (Abstract)

Tiago Lima , TerraLAB Federal University of Ouro Preto Ouro Preto, Brazil
Tiago Carneiro , TerraLAB Federal University of Ouro Preto Ouro Preto, Brazil
Sergio Faria , Federal University of Minas Gerais Belo Horizonte, Brazil
Pablo Silva , LEDS Federal University of Ouro Preto Ouro Preto, Brazil
Miguel Pessoa , LEDS Federal University of Ouro Preto Ouro Preto, Brazil
pp. 37-42

A visual studio plug-in for CProver (Abstract)

Mohamed Nassim Seghir , Computer Science Department, University of Oxford, UK
Daniel Kroening , Computer Science Department, University of Oxford, UK
pp. 43-48

A rigorous methodology for analyzing and designing plug-ins (Abstract)

Marieta V. Fasie , DTU Compute, Technical University of Denmark DK-2800 Lyngby, Denmark
Anne E. Haxthausen , DTU Compute, Technical University of Denmark DK-2800 Lyngby, Denmark
Joseph R. Kiniry , DTU Compute, Technical University of Denmark DK-2800 Lyngby, Denmark
pp. 49-50

Lightweight tool coordination: Path — A minimal framework for tool coordination (Abstract)

Reid D. McKenzie , Computer Science, The University of Texas at Austin Austin, TX, USA
Dewayne E. Perry , Electrical and Computer Engineering, The University of Texas at Austin Austin, TX, USA
pp. 51-52
96 ms
(Ver 3.3 (11022016))