posted by user: ritasuzana || 2772 views || tracked by 2 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

KES 2024   28th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems
FPVM 2024   3rd International Workshop on Foundations and Practice of Visual Modeling
LOPSTR 2024   LOPSTR 2024 -- Preliminary Call for Papers
DX 2024   The 35th International Conference on Principles of Diagnosis and Resilient Systems (DX'24)
MoDRE 2024   Workshop on Model-Driven Requirements Engineering (MoDRE) at RE'24
Electronics : Special Issue 2024   Combining Model-Based and Data-Driven Methods in Human–Computer Interaction
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
ICAISE 2024   2024 3rd International Conference on Artificial Intelligence and Software Engineering (ICAISE 2024)
PICOM 2024   The 22nd IEEE International Conference on Pervasive Intelligence and Computing
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)