Electronic Notes in Theoretical Computer Science, Volume 191

Volume 191, October 2007

• Judi Romijn, Graeme Smith, Jaco van de Pol:
  Preface. 1-2
  
• Nuno Amálio, Fiona Polack, Susan Stepney:
  Frameworks Based on Templates for Rigorous Model-driven Development. 3-23
  
• Jens R. Calame, Natalia Ioustinova, Jaco van de Pol:
  Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. 25-48
  
• Peter Höfner:
  Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic. 49-72
  
• A. J. van Leeuwen:
  Building Verification Condition Generators by Compositional Extension. 73-83
  
• D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers:
  Relating Hybrid Chi to Other Formalisms. 85-113