LEADER 05650nam 22008295 450 001 996465881203316 005 20200703023004.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 $a20100531d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModelling Foundations and Applications$b[electronic resource] $e6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings /$fedited by Thomas Kühne, Bran V. Selic, Marie-Pierre Gervais, Francois Terrier 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (364 p. 150 illus.) 225 1 $aProgramming and Software Engineering ;$v6138 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$aProgramming and Software Engineering ;$v6138 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aComputer communication systems 606 $aManagement information systems 606 $aComputer science 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 607 $aParis <2010>$2swd 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer communication systems. 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aComputer Communication Networks. 615 24$aManagement of Computing and Information Systems. 676 $a005.10285 702 $aKühne$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSelic$b Bran V$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGervais$b Marie-Pierre$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTerrier$b Francois$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aEuropean Conference on Modelling Foundations and Applications 906 $aBOOK 912 $a996465881203316 996 $aModelling Foundations and Applications$92112800 997 $aUNISA