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

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Petriu, Dorina C. (Editor ), Rouquette, Nicolas (Editor ), Haugen, Oystein (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Programming and Software Engineering, 6394
Temas:
Computer programming.
Software engineering.
Computer engineering.
Computer networks .
Compilers (Computer programs).
Computer systems.
Programming Techniques.
Software Engineering.
Computer Engineering and Networks.
Compilers and Interpreters.
Computer System Implementation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares