Software: Practice and Experience

Cover image for Vol. 43 Issue 4

Special Issue: Developing Tools as Plug-ins: TOPI 2011

April 2013

Volume 43, Issue 4

Pages 389–478

Issue edited by: Judith Bishop, David Notkin

  1. Editorial

    1. Top of page
    2. Editorial
    3. Special Issue Papers
    1. You have free access to this content
  2. Special Issue Papers

    1. Top of page
    2. Editorial
    3. Special Issue Papers
    1. Integrated program verification tools in education (pages 403–418)

      Guido de Caso, Diego Garbervetsky and Daniel Gorín

      Version of Record online: 23 JUL 2012 | DOI: 10.1002/spe.2143

    2. MASH: tool integration made easy (pages 419–433)

      L. Mariani and F. Pastore

      Version of Record online: 1 MAY 2012 | DOI: 10.1002/spe.2129

    3. RDB2RDF: A relational to RDF plug-in for Eclipse (pages 435–447)

      Edgard Marx, Percy Salas, Karin Breitman, José Viterbo and Marco Antonio Casanova

      Version of Record online: 10 AUG 2012 | DOI: 10.1002/spe.2145

    4. Ginga-NCL architecture for plug-ins (pages 449–463)

      Luiz Fernando G. Soares, Marcio F. Moreno and Rafael S. Marinho

      Version of Record online: 31 JUL 2012 | DOI: 10.1002/spe.2144

    5. Developing analysis and testing plug-ins for modern IDEs: an experience report (pages 465–478)

      Dan Zhao, Shauvik Roy Choudhary and Alessandro Orso

      Version of Record online: 3 OCT 2012 | DOI: 10.1002/spe.2157