1. SESENA@ICSE 2010: Cape Town, South Africa

Keynote

Model-driven development (MDD)

Frameworks

Verification and testing

Short papers

maintained by Schloss Dagstuhl LZI at University of Trier