1. Developing analysis and testing plug‐ins for modern IDEs: an experience report1. (3rd October 2012) Authors: Zhao, Dan; Choudhary, Shauvik Roy; Orso, Alessandro; Bishop, Judith; Notkin, David Journal: Software, practice & experience Issue: Volume 43:Number 4(2013) Page Start: 465 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Developing tools as plug‐ins: TOPI 2011 special issue editorial. (18th March 2013) Authors: Bishop, Judith; Notkin, David; Bishop, Judith; Notkin, David Journal: Software, practice & experience Issue: Volume 43:Number 4(2013) Page Start: 389 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Ginga‐NCL architecture for plug‐ins. (31st July 2012) Authors: Soares, Luiz Fernando G.; Moreno, Marcio F.; Marinho, Rafael S.; Bishop, Judith; Notkin, David Journal: Software, practice & experience Issue: Volume 43:Number 4(2013) Page Start: 449 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Integrated program verification tools in education. (23rd July 2012) Authors: de, Guido; Garbervetsky, Diego; Gorín, Daniel; Bishop, Judith; Notkin, David Journal: Software, practice & experience Issue: Volume 43:Number 4(2013) Page Start: 403 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. MASH: tool integration made easy1. (1st May 2012) Authors: Mariani, L.; Pastore, F.; Bishop, Judith; Notkin, David Journal: Software, practice & experience Issue: Volume 43:Number 4(2013) Page Start: 419 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. RDB2RDF: A relational to RDF plug‐in for Eclipse. (10th August 2012) Authors: Marx, Edgard; Salas, Percy; Breitman, Karin; Viterbo, José; Casanova, Marco Antonio; Bishop, Judith; Notkin, David Journal: Software, practice & experience Issue: Volume 43:Number 4(2013) Page Start: 435 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗