EFSD accepted papers

Regular papers

Luís Andrade, ATX Software, Portugal and José Luiz Fiadeiro, U Lisbon, Portugal
Coordination primitives for evolving event-based systems

Hubert Baumeister, U Munich, Germany
Formal methods and extreme programming

Lindsay Groves, Victoria U of Wellington, New Zealand
A formal approach to program evolution

Nicola Piccinini and Giuseppe Scollo, U Verona, Italy
The visual proof manipulation project (VPM)

Axel Schairer, DFKI Saarbrücken, Germany
Proof transformations for reusing proofs after changing subformulae of verification conditions