TY  - BOOK
AU  - France,Robert B.
AU  - Kazmeier,Jürgen
AU  - Breu,Ruth
AU  - Atkinson,Colin
ED  - SpringerLink (Online service)
TI  - Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642336669
AV  - QA76.7-76.73 
U1  - 005.13 23
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Computer science
KW  - Computer system performance
KW  - Software engineering
KW  - Logic design
KW  - Computer simulation
KW  - Information Systems
KW  - Computer Science
KW  - Programming Languages, Compilers, Interpreters
KW  - Software Engineering
KW  - Logics and Meanings of Programs
KW  - Management of Computing and Information Systems
KW  - Simulation and Modeling
KW  - System Performance and Evaluation
N1  - Quantitative 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
N2  - This 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
UR  - http://dx.doi.org/10.1007/978-3-642-33666-9
ER  -