posted by user: ritasuzana || 2065 views || tracked by 3 users: [display]

MOMPES 2013 : 9th 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/2013/
 
When Nov 11, 2013 - Nov 11, 2013
Where Silicon Valley
Submission Deadline Aug 23, 2013
Notification Due Sep 15, 2013
Final Version Due Oct 10, 2013
 

Call For Papers

***********************************************************

CALL FOR PAPERS

MOMPES 2013

9th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
11 November 2013, Silicon Valley, CA, USA

Collocated with ASE 2013 (28th IEEE/ACM International Conference on
Automated Software Engineering), Silicon Valley, 11-15 November 2013

http://www.di.uminho.pt/mompes/2013/

***********************************************************

1 THEME AND TOPICS

Model-Based Development (MBD) is a software development approach that relies on modelling and on systematic transition from models to executable code. This workshop focuses on the theoretical and practical aspects related to the adoption of MBD methodologies (notations, processes, methods, and tools) for the construction of software for pervasive and embedded systems. In the context of ASE 2013, 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 the
following topics applied to Embedded and Pervasive Systems:
* Semantics of Modelling Languages
* Meta-modelling, Domain-Specific Languages
* Model Transformation and Code Generation
* Model-based Analysis, Testing and Verification
* Test-Driven Development
* Applied Formal Methods
* Feature-oriented Techniques, Variability Modelling and Variability Realization
* Reuse and Component-based Architectures
* Modelling of Non-Functional Requirements
* Model-based Architectures
* Model-based Traceability and Consistency
* (Models for) Ultra-Large Scale Systems
* (Models for) Cyber-Physical Systems
* Integration of Models
* Model-based Evolution and Change Management
* Architectural Recovery in Legacy Systems
* Managing inconsistencies
* Pervasive systems in new contexts, e.g., Information Systems
We explicitly invite experience reports and case studies related to these topics.


2 SUBMISSIONS

We are seeking for research papers and experience reports (max. 10 pages) and short/position papers (max. 5 pages). Submissions must conform to ACM SEN's formatting guidelines http://www.sigsoft.org/SEN/subpub.html and should be submitted via the EasyChair submission system available at https://www.easychair.org/conferences/?conf=mompes2013
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 three members of the PC.
Accepted papers will be published in an ACM SIG newsletter. By submitting authors are granting permission for ACM to publish in print and digital formats for the newsletter and the ACM archive. The authors retain copyright as is the case with any ACM newsletter publication of original material. ìCopyright is held by author.It should appear on the first page of each paper.


3 IMPORTANT DATES

Paper submission: NEW DATE 22 August 2013
Notification: 15 September 2013
Early registration: 23 September 2013
Camera-ready copy: 10 October 2013
Workshop: 11 November 2013

Please note that the given dates are tentative; please check the workshops website for updates.


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.

PROGRAM COMMITTEE
* Robert Baillargeon, SODIUS, US
* Leandro Buss Becker, Federal Univ. of Santa Catarina, BR
* Gaelle Calvary, Grenoble Institute of Technology, FR
* Holger Giese, HPI, Universitat Potsdam, DE
* Luis Gomes, Universidade Nova de Lisboa, PT
* Timo D. H‰m‰l‰inen, TU Tampere, FI
* Chris Hankin, Imperial College London, UK
* Luis Lamb, Universidade Federal do Rio Grande do Sul, BR
* Pedro Jose Marron, Universitat Duisburg-Essen, DE
* Elvinia Riccobene, Universit‡ degli Studi di Milano, IT
* Pablo Sanchez, Universidad de Cantabria, ES
* Oleg Sokolsky, University of Pennsylvania, US
* Olaf Spinczyk, TU Dortmund, DE
* Jonathan Sprinkle, University of Arizona, US
(and the workshop organizers)

ORGANIZATION COMMITTEE
* João M. Fernandes, U Minho (PT)
* Goetz Botterweck, Lero and U Limerick (IE)
* Julia Rubin, IBM Research, Haifa (IL)
* Rita Suzana Maciel, U Federal da Bahia (BR)

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)
* Dov Dori, Technion (IL)


5 PUBLICATION

Accepted papers will be published with ACM Software Engineering Notes (SEN) and indexed by ACM's Digital Library.

Related Resources

IMBSA 2020   7th International Symposium on Model-Based Safety and Assessment
ICDM 2020   20th IEEE International Conference on Data Mining
SETTA 2020   Symposium on Dependable Software Engineering Theories, Tools and Applications
OCL 2020   20th International Workshop on OCL and Textual Modeling
PECCS 2020   10th International Conference on Pervasive and Parallel Computing, Communication and Sensors
MoDRE 2020   10th International Workshop on Model-Driven Requirements Engineering
MobiSPC 2020   The 17th International Conference on Mobile Systems and Pervasive Computing
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus