[clean-list] CfP: MOMPES 2007, published by IEEE CS Press

[Ricardo J. Machado]

******************************************************************
CALL FOR PAPERS

4th International Workshop on Model-based Methodologies for
Pervasive and Embedded Software (MOMPES 2007)

http://www.di.uminho.pt/mompes

within the 7th European Joint Conferences on Theory and
Practice of Software (ETAPS 2007)
http://www.di.uminho.pt/etaps07/

Braga - Portugal
March 31, 2007

******************************************************************
Model Based Development (MBD) comprises approaches to software
development, which heavily rely on modelling and the systematic
transition from models to executable code. One of these approaches
is the OMG’s Model Driven Architecture (MDA), which is based on
the separation between the specification of a system and its
implementation using specific platforms.

This workshop focuses on the theoretical and practical aspects
related with the adoption of MDA and other MBD methodologies
(notation, process, methods, and tools) for supporting the
construction of computer-based systems, and more specifically,
pervasive and embedded software.

Suggested areas of interest in the workshop include, but are
not restricted to:
- Specification of Platform Independent Models (PIMs) and
Platform Specific Models (PSMs)
- PIM to PSM transformations
- MBD process for embedded and pervasive software
- Automatic code generation in MBD
- Testing and validation in MBD
- Tools for MBD of embedded and pervasive software
- Model-based development of hardware and software systems
- Model-based architectures
- Meta-Models for MBD
- System evolution and maintenance
- Precise semantics and consistency checks in MBD
- Integration of feature modelling
- Case studies on the application of MBD
- Models and techniques to enhance the security of embedded
and pervasive software

The official language is English.
Authors are requested to submit a PDF version of their papers in
IEEE format.
Papers should not exceed 10 pages, including figures, references,
and appendices.
Submitted papers will be reviewed by at least 3 PC members.
Authors of accepted papers must sign the IEEE copyright form.
Full papers exceeding 10 pages will be charged for pages in excess.
At least one author of each accepted submission must register
and present the paper at the workshop.
The proceedings will be published by IEEE Computer Society Press.
Position papers will be published online.
Submissions by email to mompes at di.uminho.pt

******************************************************************
Important Dates:
- Submission of full papers: 23.Oct.2006
- Notification of acceptance: 27.Nov.2006
- Camera-ready paper version: 29.Dec.2006
- Workshop at ETAPS 2007: 31.Mar.2007

******************************************************************
Organizing Committee:
- João M. Fernandes U Minho (PT)
- Ricardo J. Machado U Minho (PT)
- Siobhan Clarke Trinity CD (IE)
- Ridha Khedri McMaster U (CA)

Joint Programme Committee:
- Jean Bézivin U Nantes (FR)
- Siobhan Clarke Trinity CD (IE)
- Jörg Desel KU Eichs.-Ingolstadt (DE)
- Dov Dori Technion (IL)
- João M. Fernandes U Minho (PT)
- Robert B. France Colorado SU (US)
- Antônio A. Fröhlich UF Santa Catarina (BR)
- Lidia Fuentes U Malaga (ES)
- Hassan Gomaa George Mason U (US)
- Luís Gomes UN Lisboa (PT)
- David Harel Weizmann I (IL)
- Mike Hinchey NASA (US)
- Jens B. Jorgensen U Aarhus (DK)
- Ridha Khedri McMaster U (CA)
- Pericles Loucopoulos UMIST (UK)
- Ricardo J. Machado U Minho (PT)
- Dirk Muthig IESE (DE)
- Franz Rammig U Paderborn (DE)
- Bran Selic IBM Rational Software (CA)
- João P. Sousa CMU (US)
- Dragos Truscan TUCS (FI)
- Arie van Deursen CWI (NL)

******************************************************************