posted by user: ritasuzana || 1990 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

MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
PICom 2020   The 18th IEEE International Conf. on Pervasive Intelligence & Computing
A-MOST 2020   Advances in Model-Based Software Testing
SoMeT 2020   New Trends in Intelligent Software Methodologies, Tools and Techniques
VSI:LBS in the era of IoT 2020   Location Based Services and Applications in the era of Internet of Things
IEEE--ICHST--Ei Compendex, Scopus 2020   IEEE--2020 2nd International Conference on Hardware Security and Trust (ICHST 2020)--Ei Compendex, Scopus
JCKBSE 2020   13th International Joint Conference on Knowledge-Based Software Engineering
ICCMC 2020   Scopus-Indexed IEEE 4th International Conference on Computing Methodologies and Communication
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
CyPhy 2019   Model-Based Design of Cyber Physical Systems