LEADER 06783nam 22008055 450 001 9910484814503321 005 20251226203020.0 010 $a1-280-38609-6 010 $a9786613564016 010 $a3-642-12261-2 024 7 $a10.1007/978-3-642-12261-3 035 $a(CKB)2560000000009135 035 $a(SSID)ssj0000399459 035 $a(PQKBManifestationID)11278652 035 $a(PQKBTitleCode)TC0000399459 035 $a(PQKBWorkID)10376638 035 $a(PQKB)11037403 035 $a(DE-He213)978-3-642-12261-3 035 $a(MiAaPQ)EBC3065174 035 $a(PPN)149073437 035 $a(Association for Computing Machinery)10.5555/2175254 035 $a(BIP)29232864 035 $a(EXLCZ)992560000000009135 100 $a20100407d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModels in Software Engineering $eWorkshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /$fedited by Sudipto Ghosh 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (X, 360 p. 139 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v6002 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-12260-4 320 $aIncludes bibliographical references and index. 327 $aDoctoral Symposium -- The Doctoral Symposium at MODELS 2009 -- Catch Me If You Can ? Debugging Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application Development -- Educators? Symposium -- Essentials of the 5th Educators? Symposium at MODELS 2009 -- Teaching Object-Oriented Modeling and UML to Various Audiences -- Teaching Modeling: Why, When, What? -- Workshop ? ACES-MB -- Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009) -- Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems -- Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration -- Workshop ? AOM -- Report of the 14th International Workshop on Aspect-Oriented Modeling -- HiLA: High-Level Aspects for UML State Machines -- Workshop ? Model@run.time -- 4th International Workshop on Models@run.time -- Incremental Model Synchronization for Efficient Run-Time Monitoring -- Generating Synchronization Engines between Running Systems and Their Model-Based Views -- Workshop ? MoDeVVa -- MoDeVVa Workshop Summary -- From UML to Alloy and Back Again -- Generating Class Contracts from Deterministic UML Protocol Statemachines -- Workshop ? MoDSE-MCCM -- ?Models and Evolution?: Joint MoDSE-MCCM 2009 Workshop on Model-Driven Software Evolution (MoDSE) Model Co-Evolution and Consistency Management (MCCM) -- Model Patches in Model-Driven Engineering -- Limitations of Automating Model Migration in Response to Metamodel Adaptation -- Workshop ? MPM -- Recent Advances in Multi-paradigm Modeling -- Deriving Correspondence Relationships to Guide a Multi-view Heterogeneous Composition -- Explicit Transformation Modeling -- Workshop ? OCL -- Ninth International Workshop on the Pragmatics of OCL and Other TextualSpecification Languages -- Extending OCL with Null-References -- On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set -- Workshop ? NFPinDSML -- The 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009) -- On the Specification of Non-functional Properties of Systems by Observation -- Modeling Heterogeneous Points of View with ModHel?X -- Workshop ? TWOMDE -- Second Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2009) -- Towards Semantic Modeling of Network Physical Devices -- Using Ontology Reasoning for Reverse Engineering Design Patterns. 330 $aThe MODELS series of conferences is the premier venue for the exchange of innovative technical ideas and experiences relating to model-driven approaches inthedevelopmentofsoftware-basedsystems.Followingthetraditionofprevious conferences,MODELS2009hostedseveralsatelliteeventsinDenver.Therewere ten workshops and two symposia. The selection of the workshops was performed by a Workshop Committee, which consisted of the following experts: - James M. Bieman, Colorado State University, USA (Chair) - Peter Clarke, Florida International University, USA - Holger Giese, University of Paderborn, Germany - Frank Weil, Hengsoft, USA The workshops and symposia were held during the ?rst three days of the conference. They provided a collaborative forum for groups of participants to exchange recent and preliminary results, conduct intensive discussions on a p- ticular topic, and to coordinate e'orts between representatives of a technical community. They discussions were lively and the attendance was high. The focus of the Educators'Symposium was on sharing experience related to teaching modeling techniques and on developing resources to support e'ective training of future practitioners of model-driven development. The DoctoralSymposiumprovideda forumin whichPhDstudents presented their work in progress. The symposium fostered the role of MODELS as a p- mier venue for research in model-driven engineering. The symposium provided the students with independent and constructive feedback about their already completed work, and more importantly, their planned research work. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v6002 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aElectronic data processing$xManagement 606 $aComputer simulation 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aIT Operations 606 $aComputer Modelling 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aElectronic data processing$xManagement. 615 0$aComputer simulation. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aIT Operations. 615 24$aComputer Modelling. 676 $a005.1 701 $aGhosh$b Sudipto$01738284 712 12$aMODELS 2009 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484814503321 996 $aModels in software engineering$94200894 997 $aUNINA