Electronic Notes in Theoretical Computer Science, Volume 191

Volume 191, October 2007

• Judi Romijn, Graeme Smith, Jaco van de Pol:
  Preface. 1-2
  Electronic Edition (link) BibTeX
• Nuno Amálio, Fiona Polack, Susan Stepney:
  Frameworks Based on Templates for Rigorous Model-driven Development. 3-23
  Electronic Edition (link) BibTeX
• Jens R. Calame, Natalia Ioustinova, Jaco van de Pol:
  Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. 25-48
  Electronic Edition (link) BibTeX
• Peter Höfner:
  Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic. 49-72
  Electronic Edition (link) BibTeX
• A. J. van Leeuwen:
  Building Verification Condition Generators by Compositional Extension. 73-83
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX