LEADER 03943nam 2200601 a 450 001 9910483984803321 005 20200520144314.0 010 $a1-280-38712-2 010 $a9786613565044 010 $a3-642-13595-1 024 7 $a10.1007/978-3-642-13595-8 035 $a(CKB)2550000000011546 035 $a(SSID)ssj0000446643 035 $a(PQKBManifestationID)11271436 035 $a(PQKBTitleCode)TC0000446643 035 $a(PQKBWorkID)10496401 035 $a(PQKB)11284382 035 $a(DE-He213)978-3-642-13595-8 035 $a(MiAaPQ)EBC3065307 035 $a(PPN)149063849 035 $a(EXLCZ)992550000000011546 100 $a20100507d2010 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModelling foundations and applications $e6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010 : proceedings /$fThomas Kuhne ... [et al.], (eds.) 205 $a1st ed. 2010. 210 $aNew York $cSpringer$d2010 215 $a1 online resource (364 p. 150 illus.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v6138 225 1 $aLNCS sublibrary. SL 2, Programming and software engineering 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-13594-3 320 $aIncludes bibliographical references and index. 327 $aOrthographic Software Modelling: A Novel Approach to View-Based Software Engineering -- The Good, the Bad and the Ugly: Experiences with Model Driven Development in Large Scale Projects at Ericsson -- Comparing Approaches to Implement Feature Model Composition -- A UML 2.0 Profile to Model Block Cipher Algorithms -- Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools -- Aspect-Oriented Business Process Modeling with AO4BPMN -- A Reflective Approach to Model-Driven Web Engineering -- Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study -- Generative Technologies for Model Animation in the TopCased Platform -- Model-Driven Engineering of Machine Executable Code -- eSPEM ? A SPEM Extension for Enactable Behavior Modeling -- Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework -- Model-Based Development of Automotive Electronic Climate Control Software -- Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search -- Model Search: Formalizing and Automating Constraint Solving in MDE Platforms -- MoPCoM Methodology: Focus on Models of Computation -- Dynamic Computation of Change Operations in Version Management of Business Process Models -- Detecting Inconsistencies in Multi-View Models with Variability -- A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces -- Concordance: A Framework for Managing Model Integrity -- An Integrated Facet-Based Library for Arbitrary Software Components -- Precise Specification of Design Pattern Structure and Behaviour -- Coping with Variability in Model-Based Systems Engineering: An Experience in Green Energy -- On the Combination of Domain Specific Modeling Languages -- Joint Language and Domain Engineering -- An Automated Approach to Transform Use Cases into Activity Diagrams. 410 0$aLecture notes in computer science ;$v6138. 410 0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering. 606 $aDatabase design$vCongresses 606 $aDatabase management 615 0$aDatabase design 615 0$aDatabase management. 676 $a005.10285 701 $aKuhne$b Thomas$0387237 712 12$aEuropean Conference on Modelling Foundations and Applications 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483984803321 996 $aModelling foundations and applications$94200689 997 $aUNINA