posted by user: botterweck || 6576 views || tracked by 15 users: [display]

MOMPES 2010 : The 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software

FacebookTwitterLinkedInGoogle


Conference Series : Model-based Methodologies for Pervasive and Embedded Software
 
Link: http://www.di.uminho.pt/~mompes/2010/
 
When Sep 20, 2010 - Sep 20, 2010
Where Antwerp, Belgium
Submission Deadline May 31, 2010
Notification Due Jun 30, 2010
Final Version Due Jul 12, 2010
Categories    embedded systems   model-based software engineeri   automated software engineering   pervasive systems
 

Call For Papers

==============================================================

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.





Related Resources

Embedded Systems for AI-Based Health Mon 2022   Embedded Systems for AI-Based Health Monitoring in Cyber Physical Systems
CGDEIJ 2022   Computer Game Development and Education: An International Journal
SPIN 2023   29th International Symposium on Model Checking of Software
IJCNC 2022   Special Issue on: Intelligent Networks, Communication and Mobility for Mobile Internet of Things
SOMET 2023   SOMET 2023 : The 22nd International Conference on Intelligent Software Methodologies, Tools, and Techniques
IJITCA 2022   International Journal of Information Technology, Control and Automation
MODELSWARD 2023   11th International Conference on Model-Based Software and Systems Engineering
IJCTCM 2022   International Journal of Control Theory and Computer Modelling
TASE 2023   Theoretical Aspects of Software Engineering
ICCMC 2023   7th International Conference on Computing Methodologies and Communication