The types sequence of meetings is the most desirable venue for the alternate of - novative technical principles and stories targeting a vital new te- nical self-discipline: model-driven software program and structures engineering. the growth ofthisdisciplineisadirectconsequenceoftheincreasingsigni?canceandsuccess of model-based equipment in perform. quite a few e?orts led to the discovery of techniques, languagesand instruments for the de?nition, analysis,transformation, and veri?cationofdomain-speci?cmodelinglanguagesandgeneral-purposemodeling language criteria, in addition to their use for software program and platforms engineering. versions 2010, the thirteenth variation of the convention sequence, happened in Oslo, Norway, October 3-8, 2010, besides quite a few satellite tv for pc workshops, symposia and tutorials. The convention was once lucky to have 3 sought after keynote audio system: Ole Lehrmann Madsen (Aarhus collage, Denmark), Edward A. Lee (UC Berkeley, united states) and Pamela Zave (AT&T Laboratories, USA). to supply a broader discussion board for reporting on scienti?c growth in addition to on event stemming from functional functions of model-based tools, the 2010 convention approved submissions in particular tracks: Foundations and functions. the first aim of the ?rst tune is to give new examine effects devoted to advancing the state of the art of the self-discipline, while the second one goals to supply a practical and veri?able photo of the present state-- the-practice of model-based engineering, in order that the wider neighborhood can be higher educated of the services and successes of this rather younger self-discipline. This quantity comprises the ?nal model of the papers authorised for presentation on the convention from either tracks.