Limit search to available items
Book Cover
E-book
Author ECMFA (Conference) (7th : 2011 : Birmingham, England)

Title Modelling foundations and applications : 7th European conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, proceedings / Robert B. France [and others] (eds.)
Published Berlin ; Heidelberg ; New York : Springer, ©2011

Copies

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
Other Titles ECMFA 2011