MOMPES 2013 - 9th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software

Model-Based Development (MBD) is a software development approach that relies on modelling and on systematic transition from models to executable code. This workshop focuses on the theoretical and practical aspects related to the adoption of MBD methodologies (notations, processes, methods, and tools) for the construction of software for pervasive and embedded systems. In the context of ASE 2013, the workshop focuses on how to automate or partially automate tasks in this area to achieve significant improvements in quality and productivity.
Areas of interest include, but are not restricted to the following topics applied to Embedded and Pervasive Systems:
Semantics of Modelling Languages
Meta-modelling, Domain-Specific Languages
Model Transformation and Code Generation
Model-based Analysis, Testing and Verification
Test-Driven Development
Applied Formal Methods
Feature-oriented Techniques, Variability Modelling and
riability Realization
Reuse and Component-based Architectures
Modelling of Non-Functional Requirements
Model-based Architectures
Model-based Traceability and Consistency
Models for Ultra-Large Scale Systems
Integration of Models
Model-based Evolution and Change Management
Architectural Recovery in Legacy Systems
Managing inconsistencies
Pervasive systems in new contexts, e.g., Information Systems
We explicitly invite experience reports and case studies related to these topics.