Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Petriu, Dorina C. (Επιμελητής έκδοσης), Rouquette, Nicolas (Επιμελητής έκδοσης), Haugen, Øystein (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6394
• Θέματα: Computer science.; Architecture, Computer.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer engineering.; Computer Science.; Programming Techniques.; Software Engineering/Programming and Operating Systems.; Computer Engineering.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Computer System Implementation.

The MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important new te- nical discipline: model-driven software and systems engineering. The expansion ofthisdisciplineisadirectconsequenceoftheincreasingsigni?canceandsu...

Πίνακας περιεχομένων:

• Keynote 1
• A Unified Approach to Modeling and Programming
• Session 1a: Genericity and Generalization
• Generic Meta-modelling with Concepts, Templates and Mixin Layers
• An Observer-Based Notion of Model Inheritance
• MDE-Based Approach for Generalizing Design Space Exploration
• Session 1b: Model Migration and Incremental Manipulation
• A Comparison of Model Migration Tools
• Incremental Evaluation of Model Queries over EMF Models
• Active Operations on Collections
• Session 1c: Modeling Model Transformations
• transML: A Family of Languages to Model Model Transformations
• Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations
• A Technique for Automatic Validation of Model Transformations
• Session 2a: Verifying Consistency and Conformance
• Static- and Dynamic Consistency Analysis of UML State Chart Models
• Verifying Semantic Conformance of State Machine-to-Java Code Generators
• A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models
• Session 2b: Taming Modeling Complexity
• Taming Graphical Modeling
• Taming EMF and GMF Using Model Transformation
• A Visual Traceability Modeling Language
• Session 2c: Modeling User-System Interaction
• Application Logic Patterns – Reusable Elements of User-System Interaction
• A Metamodel-Based Approach for Automatic User Interface Generation
• Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven Techniques
• Session 3a: Model-Driven Quality Assurance
• Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies
• Improving Test Models for Large Scale Industrial Systems: An Inquisitive Study
• Automatically Discovering Properties That Specify the Latent Behavior of UML Models
• Session 3b: Managing Variability
• Towards a Semantics of Activity Diagrams with Semantic Variation Points
• An AADL-Based Approach to Variability Modeling of Automotive Control Systems
• Extending Variability for OCL Interpretation
• Session 3c: Multi-Modeling Approaches
• Inter-modelling: From Theory to Practice
• Consistent Modeling Using Multiple UML Profiles
• A Systematic Review on the Definition of UML Profiles.