LEADER 08140nam 22008655 450 001 996466189703316 005 20200629233625.0 010 $a3-642-33666-3 024 7 $a10.1007/978-3-642-33666-9 035 $a(CKB)3400000000086253 035 $a(SSID)ssj0000767557 035 $a(PQKBManifestationID)11424065 035 $a(PQKBTitleCode)TC0000767557 035 $a(PQKBWorkID)10741009 035 $a(PQKB)10539432 035 $a(DE-He213)978-3-642-33666-9 035 $a(MiAaPQ)EBC3070980 035 $a(PPN)168325098 035 $a(Association for Computing Machinery)10.5555/2404962 035 $a(EXLCZ)993400000000086253 100 $a20120918d2012 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModel Driven Engineering Languages and Systems $e15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /$fedited by Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (XX, 828 p. 298 illus.) 225 1 $aProgramming and Software Engineering ;$v7590 300 $aInternational conference proceedings. 311 $a3-642-33665-5 320 $aIncludes bibliographical references and author index. 327 $aQuantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language for Rapid Workflow -- Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time -- Dynamic Evolution of Context-Aware Systems with Models at Runtime -- An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements -- Automated and Transparent Model Fragmentation for Persisting Large Models -- Formally Defining and Iterating Infinite Models -- Query-Driven Soft Interconnection of EMF Models -- Modeling the Linguistic Architecture of Software Products -- Cross-Language Support Mechanisms Significantly Aid Software Development -- Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension -- Incremental Consistency Checking for Complex Design Rules and Larger Model Changes -- Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines -- Towards Business Application Product Lines -- Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines -- The Coroutine Model of Computation -- Assume-Guarantee Scenarios: Semantics and Synthesis -- An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven Development -- A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software -- Managing Related Models in Vehicle Control Software Development -- Detecting Specification Errors in Declarative Languages with Constraints -- From UML and OCL to Relational Logic and Back -- On Verifying ATL Transformations Using ?off-the-shelf? SMT Solvers -- ATLTest: A White-Box Test Generation Approach for ATL Transformations -- Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis -- Seeing Errors: Model Driven Simulation Trace Visualization -- A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data -- Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System -- Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines -- Generation of Operational Transformation Rules from Examples of Model Transformations -- Using Feature Model to Build Model Transformation Chains -- A Generic Approach Simplifying Model-to-Model Transformation Chains -- An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling -- Model Matching for Trace Link Generation in Model-Driven Software Development -- Matching Business Process Workflows across Abstraction Levels -- Experiences of Applying UML/MARTE on Three Industrial Projects -- Evaluating the Effort of Composing Design Models: A Controlled -- Transition to Model-Driven Engineering: What Is Revolutionary, What Remains the Same? -- Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions -- A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study -- Sensitivity Analysis in Model-Driven Engineering -- Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing -- Weaving-Based Configuration and Modular Transformation of Multi-layer Systems -- Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering -- An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design. 330 $aThis book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012. The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis. 410 0$aProgramming and Software Engineering ;$v7590 517 3 $aMODELS'12 606 $aProgramming languages (Electronic computers) 606 $aSoftware engineering 606 $aComputer logic 606 $aManagement information systems 606 $aComputer science 606 $aComputer simulation 606 $aComputer system failures 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 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 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049 608 $aConference proceedings.$2fast 615 0$aProgramming languages (Electronic computers). 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aManagement information systems. 615 0$aComputer science. 615 0$aComputer simulation. 615 0$aComputer system failures. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aManagement of Computing and Information Systems. 615 24$aSimulation and Modeling. 615 24$aSystem Performance and Evaluation. 676 $a005.1 702 $aFrance$b Robert B$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKazmeier$b Jürgen$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBreu$b Ruth$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAtkinson$b Colin$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aMODELS (Conference) 906 $aBOOK 912 $a996466189703316 996 $aModel Driven Engineering Languages and Systems$9772687 997 $aUNISA