Volume 9, Issue 1, March 2013

Special Issue: Harnessing theories for tool support in software

ISSN: 1614-5046 (Print) 1614-5054 (Online)

In this issue (5 articles)

  1. Editorial

    Special Issue: Harnessing theories for tool support in software

    Volker Stolz Pages 1-2
    Download PDF (64KB) View Article

  2. No Access

    SI: Theories & Tool Support for Software

    A framework for automated and certified refinement steps

    Andreas Griesmayer, Zhiming Liu… Pages 3-16
    Look Inside Get Access

  3. No Access

    SI: Theories & Tool Support for Software

    Towards harnessing theories through tool support for hard real-time Java programming

    Thomas Bøgholm, Christian Frost… Pages 17-28
    Look Inside Get Access

  4. No Access

    SI: Theories & Tool Support for Software

    User-defined schedulers for real-time concurrent objects

    Joakim Bjørk, Frank S. de Boer… Pages 29-43
    Look Inside Get Access

  5. No Access

    SI:Theories & Tool Support for Software

    Model checking driven static analysis for the real world: designing and tuning large scale bug detection

    Ansgar Fehnker, Ralf Huuck Pages 45-56
    Look Inside Get Access