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

ModComp 2018   5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2018
IJSCMC 2018   International Journal of Soft Computing, Mathematics and Control (IJSCMC)
HiPEAC 2019   High Performance Embedded Architectures and Compilers
DASC 2018   16th IEEE International Conference on Dependable, Autonomic and Secure Computing
MVV 2018   IEEE International Workshop on Model-Based Verification & Validation
ICICM--IEEE, EI and Scopus 2018   IEEE--2018 The 3rd International Conference on Integrated Circuits and Microsystems (ICICM 2018)--Ei Compendex and Scopus
IJCCSA 2018   International Journal on Cloud Computing: Services and Architecture
CSITA 2018   4th International Conference on Computer Science, Information Technology and Applications
MoDRE 2018   8th Int. Workshop on Model-Driven Requirements Engineering (MoDRE)
12th IEEE MCSOC 2018   IEEE 12th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-2018)