Volume 9, Issue 1 | Innovations in Systems and Software Engineering

Search all Innovations in Systems and Software Engineering articles

Volume 9, Issue 1

March 2013

Special Issue: Harnessing theories for tool support in software

Issue Editor:

Volker Stolz

5 articles in this issue

Special Issue: Harnessing theories for tool support in software
Volker Stolz
Editorial 22 November 2012 Pages: 1 - 2
A framework for automated and certified refinement steps
Andreas Griesmayer
Zhiming Liu
Shuling Wang
SI: Theories & Tool Support for Software 22 May 2012 Pages: 3 - 16
Towards harnessing theories through tool support for hard real-time Java programming
Thomas Bøgholm
Christian Frost
Bent Thomsen
SI: Theories & Tool Support for Software 06 June 2012 Pages: 17 - 28
User-defined schedulers for real-time concurrent objects
Joakim Bjørk
Frank S. de Boer
S. Lizeth Tapia Tarifa
SI: Theories & Tool Support for Software 12 June 2012 Pages: 29 - 43
Model checking driven static analysis for the real world: designing and tuning large scale bug detection
Ansgar Fehnker
Ralf Huuck
SI:Theories & Tool Support for Software 30 August 2012 Pages: 45 - 56