Software: Practice and Experience

Cover image for Vol. 44 Issue 3

Special Issue: Focus Section on Developing Tools as Plug-ins: TOPI 2012

March 2014

Volume 44, Issue 3

Pages 259–390

Issue edited by: Diego Garbervetsky, Sunghun Kim

  1. Editorial

    1. Top of page
    2. Editorial
    3. Special Issue Papers
    4. Research Article
    5. Survey Paper
    1. You have free access to this content
  2. Special Issue Papers

    1. Top of page
    2. Editorial
    3. Special Issue Papers
    4. Research Article
    5. Survey Paper
    1. Plugging in and into code bubbles: the code bubbles architecture (pages 261–276)

      Steven P. Reiss, Jared N. Bott and Joseph J. La Viola Jr

      Article first published online: 21 MAY 2013 | DOI: 10.1002/spe.2196

    2. Simplicity-first model-based plug-in development (pages 277–297)

      Stefan Naujokat, Johannes Neubauer, Anna-Lena Lamprecht, Bernhard Steffen, Sven Jörges and Tiziana Margaria

      Article first published online: 25 DEC 2013 | DOI: 10.1002/spe.2243

    3. Practical JFSL verification using TACO (pages 317–334)

      M. Chicote, D. Ciolek and J.P. Galeotti

      Article first published online: 11 NOV 2013 | DOI: 10.1002/spe.2237

  3. Research Article

    1. Top of page
    2. Editorial
    3. Special Issue Papers
    4. Research Article
    5. Survey Paper
  4. Survey Paper

    1. Top of page
    2. Editorial
    3. Special Issue Papers
    4. Research Article
    5. Survey Paper
    1. You have free access to this content

SEARCH

SEARCH BY CITATION