Model Driven Engineering Languages and Systems
15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings
(Sprache: Englisch)
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...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Model Driven Engineering Languages and Systems “
Klappentext zu „Model Driven Engineering Languages and Systems “
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.
Inhaltsverzeichnis zu „Model Driven Engineering Languages and Systems “
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 onSub-product Lines.- Towards Business Application Product Lines.- Inter-association Constraints in UML2: Comparative Analysis, UsageRecommendations, and Modeling Guidelines.- The Coroutine Model of Computation.- Assume-Guarantee Scenarios: Semantics and Synthesis.- An Exploratory Study of Forces and Frictions Affecting Large-ScaleModel-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 ATLTransformations.- Empirical Evaluation on FBD Model-Based Test Coverage Criteria UsingMutation Analysis.-
... mehr
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 ofMulti-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.
... weniger
Autoren-Porträt
Ruth Breu leitet das Institut für Informatik an der Universität Innsbruck. Sie ist Vice Chairperson des German Chapter of the ACM, Obfrau des Vereins der Interessengemeinschaft Informationssicherheit IG:IS, Mitglied der Jury des Tiroler Innovationspreises und Mitglied im wiss. Beirat von ARC Seibersdorf Information Technologies.
Bibliographische Angaben
- 2012, 2012, 828 Seiten, Maße: 23,6 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson
- Verlag: Springer, Berlin
- ISBN-10: 3642336655
- ISBN-13: 9783642336652
Sprache:
Englisch
Kommentar zu "Model Driven Engineering Languages and Systems"
Schreiben Sie einen Kommentar zu "Model Driven Engineering Languages and Systems".
Kommentar verfassen