1. Assessing the effects of introducing a new software development process: a methodological description

   • Agneta Nilsson
   • Laura M. Castro
   • Thomas Arts

   Regular Paper 13 April 2013 Pages: 1 - 16

   

2. Real-time specifications

   • Alexandre David
   • Kim G. Larsen
   • Andrzej Wąsowski

   Regular Paper 06 August 2013 Pages: 17 - 45

   

3. Termination proofs for linear simple loops

   • Hong Yi Chen
   • Shaked Flur
   • Supratik Mukhopadhyay

   Regular Paper 14 August 2013 Pages: 47 - 57

   

4. A systematic review of state-based test tools

   • Muhammad Shafique
   • Yvan Labiche

   regular paper 08 November 2013 Pages: 59 - 76

5. A construction and minimization service for continuous probability distributions

   • Reza Pulungan
   • Holger Hermanns

   Regular Paper 07 December 2013 Pages: 77 - 90

   

6. Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures

   • Daniel Lincke
   • Sibylle Schupp
   • Cezar Ionescu

   Regular Paper 12 February 2014 Pages: 91 - 105

   

7. Testing abstract behavioral specifications

   • Peter Y. H. Wong
   • Richard Bubel
   • Muddassar Azam Sindhu

   Regular Paper 21 February 2014 Pages: 107 - 119