
By Pamela Zave (auth.), Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen (eds.)
The types sequence of meetings is the leading venue for the alternate of - novative technical principles and stories targeting a crucial new te- nical self-discipline: model-driven software program and structures engineering. the growth ofthisdisciplineisadirectconsequenceoftheincreasingsigni?canceandsuccess of model-based tools in perform. various e?orts ended in the discovery of recommendations, 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. types 2010, the thirteenth variation of the convention sequence, happened in Oslo, Norway, October 3-8, 2010, in addition to a number of 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 development in addition to on event stemming from useful functions of model-based tools, the 2010 convention authorized submissions in unique tracks: Foundations and functions. the first goal of the ?rst music is to provide new learn effects devoted to advancing the cutting-edge of the self-discipline, while the second one goals to supply a pragmatic and veri?able photograph of the present state-- the-practice of model-based engineering, in order that the wider neighborhood can be larger educated of the functions and successes of this particularly younger self-discipline. This quantity includes the ?nal model of the papers approved for presentation on the convention from either tracks.