<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Program Committee</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Frédéric Boulanger Michalis Famelis Daniel Ratiu</string-name>
        </contrib>
      </contrib-group>
      <abstract>
        <p>The MoDeVVA workshop series brings together researchers and practitioners interested in combining MDE with validation and verification. The 10th edition took place on the 1st of October 2013 and was co-located with MODELS'13 in Miami. The special topic of this edition was the use of models to increase the the usability of verification tools. Out of the 13 papers submitted and reviewed by at least three members of the program committee, 9 were selected. About 30 participants attended this edition of the workshop. In addition to the presentation of the selected papers from the technical program, MoDeVVA'13 featured an invited presentation by Marsha Chechik from the University of Toronto. Her highly inspiring talk gave an overview of research results in formalizing and checking the consistency and completeness of incomplete models. This volume contains versions of the selected papers that the authors had the opportunity to enhance after the workshop and the fruitful discussions that occurred during the whole day. The papers where collected using the EasyChair conference system, formatted according to the LNCS style, and assembled using pdfLATEX and the pdfpages package.</p>
      </abstract>
    </article-meta>
  </front>
  <body />
  <back>
    <ref-list />
  </back>
</article>