==============================================================
Call for Papers - MOMPES 2010
The 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Collocated with ASE 2010, Antwerp, Belgium
http://www.di.uminho.pt/~mompes/2010/
==============================================================
1 THEME AND TOPICS
Model-Based Development (MBD) comprises approaches to software development, relying on modelling and the systematic transition from models to executable code. This workshop focuses on the theoretical and practical aspects of the adoption of MBD methodologies (notations, processes, methods, and tools) for the construction of software for pervasive and embedded systems. In the context of the International Conference on Automated Software Engineering, 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:
Automated and Semi-automated Techniques in Model-based Engineering of Pervasive and Embedded Systems
Applied Formal Methods for Embedded Systems
Semantics of Modelling Languages, Integration of Models
Model Transformation and Code Generation
Model-based Analysis, Testing and Verification
Meta-modelling and Tools
Feature Modelling
Variability Modelling and Variability Realization
Domain-specific Languages and Modelling
Modelling of Non-Functional Requirements
Model-based Architectures
Software Process, Product Lines and Frameworks
Model-based Traceability and Consistency
Models for Ultra-Large Scale Systems
Model-based Evolution and Change Management
Experience Reports and Case Studies
==============================================================
2 SUBMISSIONS
We are seeking for research papers and experience reports (max. 8 pages) and position papers (2-4 pages). Submissions must conform to the template of the main conference. Submissions will be selected based on the relevance to the workshop topics and the suitability to trigger interesting discussions. Each paper will be reviewed by at least 3 members of the Program Committee. The electronic submission will be handled through Easychair at
http://www.easychair.org/conferences/?conf=mdple2010
==============================================================
3 IMPORTANT DATES
Paper submission: 31 May 2010
Notification: 30 June 2010
Camera ready copy: 12 July 2010
Workshop: 20 September 2010
==============================================================
4 WORKSHOP FORMAT
The workshop will have a strong emphasis on interaction between participants. Hence, we intend to use a combination of (1) paper presentations with discussions on paper topics in the morning and (2) an interactive session in the afternoon.
==============================================================
5 ORGANIZATION
PROGRAM COMMITTEE (TENTATIVE)
Ebrahim Bagheri, Athabasca University (CA)
Goetz Botterweck, LERO (IE); co-chair
Jordi Cabot, INRIA (FR)
Gaëlle Calvary, U Joseph Fourier (FR)
Dionisio de Niz, CMU (US)
João M. Fernandes, U Minho (PT); co-chair
Robert France, Colorado SU (US) [TBC]
Artur d’Avila Garcez, City U London (UK)
Luís Gomes, UN Lisboa (PT)
Hans-Gerhard Gross, TU Delft (NL)
Timo Hämäläinen, TU Tampere (FI) [TBC]
Chris Hankin, Imperial College (UK)
Stefan Kowalewski, RWTH Aachen (DE)
Luís Lamb, UFRGS (BR); co-chair
Stephen J. Mellor, Mentor Graphics (US)
Dirk Muthig, Lufthansa Systems (DE)
Isabelle Perseil, TELECOM Paristech (FR)
Iris Reinhartz-Berger, University of Haifa (IL)
Pablo Sánchez, U Málaga (ES)
João P. Sousa, George Mason U (US)
ORGANIZATION COMMITTEE
Luis C. Lamb Federal, U Rio Grande do Sul (BR)
Goetz Botterweck, Lero and U Limerick (IE)
João M. Fernandes, U Minho (PT)
STEERING COMMITTEE
Ricardo J. Machado, U Minho (PT), chair
João M. Fernandes, U Minho (PT)
Flávio R. Wagner, UFRGS (BR)
Mike Hinchey, Lero & U Limerick (IE)
==============================================================
6 PUBLICATION
We intend to publish the workshop proceedings in the ACM ICP series. In addition, we are planning a special issue of the Int. Journal on Innovations in Systems and Software Engineering (ISSE, Springer, http://www.springer.com/computer/programming/journal/11334) with extended and improved versions of the best papers of the 2009 and 2010 MOMPES editions.