posted by user: botterweck || 5241 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)
IJESA 2019   International Journal of Embedded Systems and Applications
PICom 2020   The 18th IEEE International Conf. on Pervasive Intelligence & Computing
ELELIJ 2019   Electrical and Electronics Engineering: An International Journal
A-MOST 2020   Advances in Model-Based Software Testing
IJE 2019   International Journal of Education
SoMeT 2020   New Trends in Intelligent Software Methodologies, Tools and Techniques
IEEE--ICHST--Ei Compendex, Scopus 2020   IEEE--2020 2nd International Conference on Hardware Security and Trust (ICHST 2020)--Ei Compendex, Scopus
DSD 2020   Euromicro Conference on Digital System Design (DSD) 2020
VSI:LBS in the era of IoT 2020   Location Based Services and Applications in the era of Internet of Things