LEADER 04406nam 2200649 a 450 001 9910483531603321 005 20200520144314.0 010 $a1-280-38957-5 010 $a9786613567499 010 $a3-642-16145-6 024 7 $a10.1007/978-3-642-16145-2 035 $a(CKB)2670000000045145 035 $a(SSID)ssj0000446634 035 $a(PQKBManifestationID)11298843 035 $a(PQKBTitleCode)TC0000446634 035 $a(PQKBWorkID)10496233 035 $a(PQKB)11348317 035 $a(DE-He213)978-3-642-16145-2 035 $a(MiAaPQ)EBC3065897 035 $a(PPN)149025408 035 $a(Association for Computing Machinery)10.5555/1926458 035 $a(EXLCZ)992670000000045145 100 $a20100817d2010 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModel driven engineering languages and systems $e13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010 : proceedings, part I /$fDorina C. Petriu, Nicolas Rouquette, ystein Haugen (eds.) 205 $a1st ed. 210 $aNew York $cSpringer$d2010 215 $a1 online resource (XXI, 424 p. 173 illus.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v6394 225 1 $aLNCS sublibrary. SL 2, Programming and software engineering 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-16144-8 320 $aIncludes bibliographical references and index. 327 $akeynote 1 -- session 1a. Genericity and generalization -- session 1b. Model migration incremental manipulation -- session 1c. Modeling model transformations -- session 2a. Verifying consistency and conformance -- session 2b. Taming modeling complexity -- session 2c. Modeling user-system interaction -- session 3a. Model-driven quality assurance -- session 3b. Managing variability -- session 3c. Multi-modeling approaches. 330 $aThe MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important new te- nical discipline: model-driven software and systems engineering. The expansion ofthisdisciplineisadirectconsequenceoftheincreasingsigni?canceandsuccess of model-based methods in practice. Numerous e?orts resulted in the invention of concepts, languagesand tools for the de?nition, analysis,transformation, and veri?cationofdomain-speci?cmodelinglanguagesandgeneral-purposemodeling language standards, as well as their use for software and systems engineering. MODELS 2010, the 13th edition of the conference series, took place in Oslo, Norway, October 3-8, 2010, along with numerous satellite workshops, symposia and tutorials. The conference was fortunate to have three prominent keynote speakers: Ole Lehrmann Madsen (Aarhus University, Denmark), Edward A. Lee (UC Berkeley, USA) and Pamela Zave (AT&T Laboratories, USA). To provide a broader forum for reporting on scienti?c progress as well as on experience stemming from practical applications of model-based methods, the 2010 conference accepted submissions in two distinct tracks: Foundations and Applications. The primary objective of the ?rst track is to present new research results dedicated to advancing the state-of-the-art of the discipline, whereas the second aims to provide a realistic and veri?able picture of the current state-- the-practice of model-based engineering, so that the broader community could be better informed of the capabilities and successes of this relatively young discipline. This volume contains the ?nal version of the papers accepted for presentation at the conference from both tracks. 410 0$aLecture notes in computer science ;$v6394. 410 0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering. 606 $aModel-driven software architecture$vCongresses 606 $aUML (Computer science)$vCongresses 615 0$aModel-driven software architecture 615 0$aUML (Computer science) 676 $a006.7/4 701 $aPetriu$b Dorina C$01758003 701 $aRouquette$b Nicolas$01758004 701 $aHaugen$b ystein$0980676 712 12$aMODELS 2010 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483531603321 996 $aModel driven engineering languages and systems$94196037 997 $aUNINA