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

      Article first published online: 23 JUL 2012 | DOI: 10.1002/spe.2143

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

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

      Article first published online: 10 AUG 2012 | DOI: 10.1002/spe.2145

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

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

      Article first published online: 31 JUL 2012 | DOI: 10.1002/spe.2144

SEARCH

SEARCH BY CITATION