posted by user: botterweck || 5166 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

MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
CTCM 2019   5th International Conference of Control Theory and Computer Modelling
A-MOST 2020   Advances in Model-Based Software Testing
IJITCA 2019   International Journal of Information Technology, Control and Automation
SoMeT 2020   New Trends in Intelligent Software Methodologies, Tools and Techniques
EI CSTFM 2020   2020 International Conference on Smart Transportation and Future Mobility (CSTFM 2020)
VSI:LBS in the era of IoT 2020   Location Based Services and Applications in the era of Internet of Things
EI RACE 2020   2020 Asia-Pacific Conference on Robotics, Automation and Communication Engineering (RACE 2020)
ICCMC 2020   Scopus-Indexed IEEE 4th International Conference on Computing Methodologies and Communication
ModComp 2019   6th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2019