Description |
1 online resource (xiv, 396 pages) |
Series |
Lecture notes in computer science, 1611-3349 ; 6698 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 6698. 0302-9743
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Machine generated contents note: Keynote -- Building Advanced Mechatronic Systems / Wilhelm Schafer -- Model Execution -- Contracts for Model Execution Verification / Franck Barbier -- FUML-Based Distributed Execution Machine for Enacting Software Process Models / Michael Philippsen -- Generic Tool for Tracing Executions Back to a DSML's Operational Semantics / Vlad Rusu -- Model Analysis -- Incremental Security Verification for Evolving UMLsec Models / Holger Schmidt -- Assessing the Kodkod Model Finder for Resolving Model Inconsistencies / Tom Mens -- Operation Based Model Representation: Experiences on Inconsistency Detection / Xavier Blanc -- Methodology -- Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML / Luigi Lavazza -- Automated Transition from Use Cases to UML State Machines to Support State-Based Testing / Lionel Briand -- ̂ Transformation Rules for Translating Business Rules to OCL Constraints / Mark G. Lee -- Model Management (1) -- Preventing Information Loss in Incremental Model Synchronization by Reusing Elements / Jan Rieke -- MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform / Scott Uk-Jin Lee -- Incremental Updates for View-Based Textual Modelling / Axel Uhl -- Transformations -- Easing Model Transformation Learning with Automatically Aligned Examples / Francois Pfister -- Code Generation for UML 2 Activity Diagrams: Towards a Comprehensive Model-Driven Development Approach / Martin Rauscher -- Tractable Model Transformation Testing / Antonio Vallecillo -- Variability Analysis and ADLs -- Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling / Bran Selic -- Analyzing Variability: Capturing Semantic Ripple Effects / Birger Møller-Pedersen -- ̂ Integrating Design and Runtime Variability Support into a System ADL / Joel Champeau |
|
Note continued: Domain-Specific Modelling -- Domain-Specific Model Verification with QVT / Yvan Labiche -- SysML Profile for Development and Early Validation of TLM 2.0 Models / Preeti R. Panda -- Taming the Confusion of Languages / Andrzej Wasowski -- Model Management (2) -- Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador / Greg Butler -- Improving Naming and Grouping in UML / Antonio Vallecillo -- Aspect-Oriented Model Development at Different Levels of Abstraction / Gefei Zhang -- Workshop Summaries -- MBSDI 2011 3rd International Workshop on Model-Based Software and Data Integration / Nikola Milanovic -- MELO 2011 -- 1st Workshop on Model-Driven Engineering, Logic and Optimization / Scott Lee -- Third Workshop on Behaviour Modelling -- Foundations and Applications / Mehmet Aksit -- Process-Centred Approaches for Model-Driven Engineering (PMDE)First Edition / Marie-Pierre Gervais -- Third International Workshop on Model-Driven Product Line Engineering (MDPLE 2011) / Christa Schwanninger -- Tutorial Summaries -- Agile Development with Domain Specific Languages / Ingo Weisemoller -- Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery / Daniel Varro -- Integrated Model Management with Epsilon / James Williams -- Creating Domain-Specific Modelling Languages That Work: Hands-On / Juha-Pekka Tolvanen |
Summary |
Annotation This book constitutes the refereed proceedings of the 7thEuropean Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011. The 19 revised full foundations track papers and 5 revised full applications track papers presented were carefully reviewed and selected from 61 submissions; also included are 5 workshop summaries and abstracts of 4 tutorials. The papers are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, variability analysis and ADLs, and domain-specific modeling |
Bibliography |
Includes bibliographical references and author index |
Notes |
Print version record |
In |
Springer eBooks |
Subject |
Model-driven software architecture -- Congresses
|
|
Software engineering -- Congresses
|
|
Electronic Data Processing
|
|
data processing.
|
|
computer science.
|
|
Informatique.
|
|
Model-driven software architecture
|
|
Software engineering
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
France, Robert (Robert B.)
|
ISBN |
9783642214707 |
|
3642214703 |
|
364221469X |
|
9783642214691 |
|