LEADER 04724nam 2200649 a 450 001 9910484814503321 005 20200520144314.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(EXLCZ)992560000000009135 100 $a20100224d2010 uy 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 /$fSudipto Ghosh (ed.) 205 $a1st ed. 2010. 210 $aNew York $cSpringer$d2010 215 $a1 online resource (X, 360 p. 139 illus.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v6002 225 1 $aLNCS sublibrary. SL 1, Theoretical computer science and general issues 300 $aBibliographic Level Mode of Issuance: Monograph 311 $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 Textual Specification 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. 410 0$aLecture notes in computer science ;$v6002. 410 0$aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues. 517 3 $aMODELS 2009 606 $aComputer software$xDevelopment$vCongresses 606 $aSoftware engineering$vCongresses 606 $aUML (Computer science)$vCongresses 615 0$aComputer software$xDevelopment 615 0$aSoftware engineering 615 0$aUML (Computer science) 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