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

ECBS 2021   7th Conference on the Engineering of Computer Based Systems
MathSJ 2020   Applied Mathematics and Sciences: An International Journal
PECCS 2020   10th International Conference on Pervasive and Parallel Computing, Communication and Sensors
NeCoM 2021   13th International Conference on Networks & Communications
ModComp 2020   ModComp 2020 Call for Papers
RTAS 2021   27th IEEE Real-Time and Embedded Technology and Applications Symposium
IJPLA 2020   International Journal of Programming Languages and Applications
ISSTA 2021   International Symposium on Software Testing and Analysis
TextGraphs 2020   14th Workshop on Graph-Based Natural Language Processing (TextGraphs-14)
SPTM 2021   9th International Conference of Security, Privacy and Trust Management