Cargando…

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

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 s...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: France, Robert B. (Editor ), Kazmeier, Jürgen (Editor ), Breu, Ruth (Editor ), Atkinson, Colin (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:Programming and Software Engineering, 7590
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-642-33666-9
003 DE-He213
005 20220311184505.0
007 cr nn 008mamaa
008 120918s2012 gw | s |||| 0|eng d
020 |a 9783642336669  |9 978-3-642-33666-9 
024 7 |a 10.1007/978-3-642-33666-9  |2 doi 
050 4 |a QA76.76.C65 
072 7 |a UMC  |2 bicssc 
072 7 |a COM051010  |2 bisacsh 
072 7 |a UMC  |2 thema 
082 0 4 |a 005.45  |2 23 
245 1 0 |a Model Driven Engineering Languages and Systems  |h [electronic resource] :  |b 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /  |c edited by Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson. 
250 |a 1st ed. 2012. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2012. 
300 |a XX, 828 p. 298 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Programming and Software Engineering,  |x 2945-9168 ;  |v 7590 
505 0 |a 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. 
520 |a 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. 
650 0 |a Compilers (Computer programs). 
650 0 |a Software engineering. 
650 0 |a Computer science. 
650 0 |a Electronic data processing-Management. 
650 0 |a Computer simulation. 
650 0 |a Electronic digital computers-Evaluation. 
650 1 4 |a Compilers and Interpreters. 
650 2 4 |a Software Engineering. 
650 2 4 |a Computer Science Logic and Foundations of Programming. 
650 2 4 |a IT Operations. 
650 2 4 |a Computer Modelling. 
650 2 4 |a System Performance and Evaluation. 
700 1 |a France, Robert B.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Kazmeier, Jürgen.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Breu, Ruth.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Atkinson, Colin.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783642336676 
776 0 8 |i Printed edition:  |z 9783642336652 
830 0 |a Programming and Software Engineering,  |x 2945-9168 ;  |v 7590 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-642-33666-9  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)