Volume 191, October 2007

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005)

• 
  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