<span class="Apple–style–span" style="border–collapse: separate; color: rgb(0, 0, 0); font–family: ′Times New Roman′; font–style: normal; font–variant: normal; font–weight: normal; letter–spacing: normal; line–height: normal; orphans: 2; text–indent: 0px; text–transform: none; white–space: normal; widows: 2; word–spacing: 0px; font–size: medium;"><pre>1 THEME AND TOPICS<br>Model–Based Development (MBD) comprises approaches to<br>software development, relying on modelling and the<br>systematic transition from models to executable code. This<br>workshop focuses on the theoretical and practical aspects<br>of the adoption of MBD methodologies (notations, processes,<br>methods, and tools) for the construction of software for<br>pervasive and embedded systems. In the context of the<br>International Conference on Automated Software Engineering,<br>the workshop focuses on how to automate or partially<br>automate tasks in this area to achieve significant<br>improvements in quality and productivity.<br>Areas of interest include, but are not restricted to:<br>* Automated and Semi–automated Techniques in Model–based<br>Engineering of Pervasive and Embedded Systems<br>* Applied Formal Methods for Embedded Systems<br>* Semantics of Modelling Languages, Integration of Models<br>* Model Transformation and Code Generation<br>* Model–based Analysis, Testing and Verification<br>* Meta–modelling and Tools<br>* Feature Modelling<br>* Variability Modelling and Variability Realization<br>* Domain–specific Languages and Modelling<br>* Modelling of Non–Functional Requirements<br>* Model–based Architectures<br>* Software Process, Product Lines and Frameworks<br>* Model–based Traceability and Consistency<br>* Models for Ultra–Large Scale Systems<br>* Model–based Evolution and Change Management<br>* Experience Reports and Case Studies<br></pre></span><br class="Apple–interchange–newline">
Abbrevation
MOMPES
City
Antwerp
Country
Belgium
Deadline Paper
Start Date
End Date
Abstract