posted by organizer: vamaral || 3586 views || tracked by 10 users: [display]

DSM-TP 2013 : 4th International Summer School on Domain Specific Modeling - Theory and Practice

FacebookTwitterLinkedInGoogle

Link: http://www.dsm-tp.org
 
When Sep 2, 2013 - Sep 6, 2013
Where Santiago de Compostela, Spain
Submission Deadline Jul 31, 2013
Final Version Due Oct 15, 2013
Categories    software engineering   modelling   model-driven development   programming languages
 

Call For Papers

Call For Participation
**********************
In the last decade, industry and academy have been looking at Domain Specific Modeling (DSM) and their interelated techniques in Model Driven Development (MDD) as an interesting approach to fight the complexity in system development, and to simulate models and understand their relations. In this regard, models and model transformations, expressed in appropriate formalisms, are seen as construction tools rather than just documentation. Models are the essential artifact to abstract everything and in this perspective one should strive to Model Everything.

Academy has been investing very recently in this emerging field by developing foundations, systematic approaches, tools and frameworks that support Simulation and Verification, Model Checking and Model-Based Testing to bring it to a mature stage. However, it has been difficult for practitioners, regular Software Engineers, to keep the pace of the evolution and be acquainted with this field. There is a wide set of tools and techniques available, but no integrated vision of the DSM practice. The community acknowledges the lack of forums to educate and presente those topics in a comprehensive way.

The 4th International Summer School on Domain Specific Modeling - Theory and Practice seeks to draw researchers, teachers, practitioners, and students (at MSc. or PhD. level) who intend to study or work with Domain Specific Modeling. The purpose is to learn principles and practices in a friendly and convivial environment. The lecturers are a mixed set of experienced professionals in the topic from both academic and industrial background.

Organization
************
DSM-TP is hosted by CiTIUS, at the University of Santiago de Compostela, at the beautiful historic city of Santiago de Compostela in Spain. The organization is in cooperation with:

- Software Modelling and Verification - SMV group from the University of Geneva, Switzerland
- Modeling, Simulation and Design Lab - MSDL from the McGill University, Montreal Canada
- University of Antwerp, Belgium
- University of Alabama, USA
- CITI / FCT - Universidade Nova de Lisboa, Portugal
- GSI (Grupo de Sistemas de Informação, Information Systems Group) INESC-ID/IST

The School is structured in several introductory classes about theoretical topics of DSMs folowed by hands-on tutorials where techniques and tools will be explained and used. There will be a common Case Study to all the lectures and tutorials in order to have a continuous guideline among them, instead of isolated thematic talks. Additionally, dedicated advanced talks will give an overall picture both from both the academic and industrial point of view of the most recent advances in the field highlighting the current research as well as discussing challenges and open issues.

Important Dates
***************
Registration opening: 1 June, 2013
Early registration deadline: 15th July, 2013
Registration deadline to benefit from the University Residency prices: 30 June, 2013
Poster/Presentation Summary deadline (see website): 30 July, 2013

For More Information
Please consult http: www.dsm-tp.org

The Topics
**********
Model-Driven Development
Domain Specific Modeling and Languages
Domain Language Engineering Process
Languages Metamodeling
Model Transformations
Formalisms for Language Semantics
Model Checking and Theorem Provers
Model-Based Testing
Domain Specific Language Evaluation
Model Composition and Metamodel Composition

Tools used during the hands-on tutorials
****************************************
DSLs, Language Metamodeling: AtomPM, Epsilon tools, GMF/GMF, Eugenia
Model Transformations: DSLTrans, T-Core, EGL, ETL
Model Verification: ALPINA, FORMULA

The Program Committee
*********************
- Maurício Alférez, INRIA (France)
- Vasco Amaral, CITI FCT, Universidade Nova de Lisboa (Portugal)
- João Araújo, CITI, FCT, Universidade Nova de Lisboa (Portugal)
- Didier Buchs, University of Geneva (Switzerland)
- Paulo Carreira, INESC-ID IST UTL (Portugal)
- Miguel Goulão, CITI, Universidade Nova de Lisboa (Portugal)
- Ethan Jackson, Microsoft Research (USA)
- Ana Moreira, CITI, FCT, Universidade Nova de Lisboa (Portugal)
- Bernhard Schätz , Fortiss, (Germany)
- Eugene Syriani, University of Alabama, (USA)
- Hans Vangheluwe , MSDL, Antwerp University, (Belgium) and McGill
University, Montreal (Canada)
- (more members soon)

The Venue
*********
Will take place at CiTIUS, University of Santiago de Compostela, Spain.

Registration
************
The registration is open to everybody, with a limited number of places
available. For more details please consult the website and send your intent to submit to vma@fct.unl.pt
using the subject:"DSM-TP: Registration intention"

ECTS Credits
************
A certificate of attendance will be provided (participation in all sessions is required). Evaluation is not mandatory. However, upon request, students can be formally evaluated and earn the equivalent to 3
credits ECTS (accepted by the USC) to be credited by each origin University.

Related Resources

MDASD 2020   6th Workshop on Model Driven Approaches in System Development
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
DSM 2020   FIRST INTERNATIONAL SUMMER SCHOOL ON DATA SCIENCE FOR MOBILITY
COMIT 2020   4th International Conference on Computer Science and Information Technology
IEEE TC on Domain-Specific Architectures 2020   Call for Papers: IEEE TC Special Issue on Domain-Specific Architectures for Emerging Applications
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
MESS 2020   Metaheuristics Summer School 2020 :: Learning & Optimization from Big Data
IEEE--ICISE--Ei Compendex & Scopus 2020   IEEE--2020 the 5th International Conference on Information Systems Engineering (ICISE 2020)--Ei Compendex & Scopus
METANANO SCHOOL 2020   ONLINE SUMMER SCHOOL ON METAMATERIALS AND NANOPHOTONICS
INIT/AERFAI SSML 2020   INIT/AERFAI Summer School on Machine Learning