***********************************************************
MOMPES 2012 CFP *** DEADLINE EXTENSION: 16 July 2012 *** 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software Collocated with ASE 2012 (27th IEEE/ACM International Conference on Automated Software Engineering), Essen, Germany, 3-7 September 2012 http://www.di.uminho.pt/mompes/2012/ *********************************************************** 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 2012, 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 * 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 * Reuse and Component-based Architectures * Architectural Recovery in Legacy Systems * Managing inconsistencies * Model-based Testing, Model-driven Testing and Test-Driven Development We explicitly invite experience reports and case studies related to these topics. *********************************************************** 2 SUBMISSIONS We are seeking for research papers and experience reports (max. 20 pages, EXTENDED) as well as short and position papers (max. 6 pages). Submissions must conform to the LNCS template available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 and should be submitted via the EasyChair website at https://www.easychair.org/conferences/?conf=mompes2012 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 PC. *********************************************************** 3 IMPORTANT DATES Paper submission: 16 July 2012 Notification: 19 July 2012 Camera ready copy: 2 August 2012 Workshop: 4 September 2012 *********************************************************** 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 * Robert Baillargeon, SODIUS, US * Gaelle Calvary, U Joseph Fourier, FR * Holger Giese, HPI Potsdam, DE * Luis Gomes, UN Lisboa, PT * Hans-Gerhard Gross, TU Delft, NL * Timo D. Hämäläinen, TU Tampere, FI * Chris Hankin, Imperial College, UK * Stefan Kowalewski, RWTH Aachen, DE * Luis Lamb, UFRGS, BR * Pedro Jose Marron, U Duisburg-Essen, DE * Dirk Muthig, Lufthansa Systems, DE * Elvinia Riccobene, U Milano, IT * Pablo Sanchez, U Malaga, ES * Olaf Spinczyk, U Dortmund, DE * Jonathan Sprinkle, U Arizona, US * Martin Törngren, KTH Stockholm, SE * Tim Trew, NDS, UK ORGANIZATION COMMITTEE * Ricardo J. Machado, U Minho (PT) * Rita Suzana Maciel, U Federal da Bahia (BR) * Julia Rubin, IBM Research, Haifa (IL) * Goetz Botterweck, Lero and U Limerick (IE) 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) *********************************************************** 6 PUBLICATION All accepted papers will be published in a post-proceedings volume of the Lecture Notes in Computer Science (LNCS) series by Springer-Verlag.
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
