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
Copyright © Mon Mar 15 04:00:58 2010
by Michael Ley (ley@uni-trier.de)
