Write a Blog >>
Fri 16 - Fri 23 October 2020

0 results

People (5 results)
Juri Di Rocco

Juri Di Rocco

University of L'Aquila

… research team with Alfonso Pierantonio and Davide Di Ruscio. I am interested in all

Jordi Cabot

Jordi Cabot


… the rigorous use of software models and engineering principles in all software …

Luca Berardinelli

Luca Berardinelli

Johannes Kepler University Linz

… , U-TEST, all available on https://cordis.europa.eu/), working on MDE approaches …

Events (11 results)

Welcome to MODELS 2020

MODELS When: Wed 21 Oct 2020 08:30 - 09:00 People: Eugene Syriani, Houari Sahraoui, Juan de Lara, Silvia Abrahão

… The general chairs and program committee chairs of MODELS 2020 will welcome all the participants with a brief introduction. …

Designing, Animating, and Verifying Partial UML Models

Technical Track When: Thu 22 Oct 2020 15:40 - 15:55 People: Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour

… Models have been shown to be useful during virtually all stages of the software lifecycle. They can be reverse engineered from existing artifacts, or created … to provide means to evaluate the approach on several examples. They are all

...everything is a model!

SAM Conference When: Tue 20 Oct 2020 09:00 - 10:00 People: Sigrid Eldh

… , transformed and lost. IoT combines all aspects – and we must be much better … requirements on all aspects of analysis and creation of software and systems development, testing, validation and modelling. It is easy to forget all the non-functional …

Certifying Rule-Based Model Transformation Engines for Proof Preservation

Technical Track When: Wed 21 Oct 2020 11:00 - 11:20 People: Zheng Cheng, Massimo Tisi, Joachim Hotonnier

… guarantees end-users that all the proofs they write using the provided theorems …

Attending Information (2 results)


… …


… fee includes attendance of all sessions of the conference and full participation … that despite all of our efforts made to test the registration system, errors may …

Tracks (9 results)


… guidelines (given below) providing all requested information about the proposed workshop … papers from all workshops. For each workshop, the joint proceedings will include … program committee, and all peer-reviewed papers presented in the workshop …

Technical Track

… ## About

Contributions related to all aspects of modeling, modeling … has covered all aspects of modeling, from languages and methods, to tools … and Innovation” papers must not exceed 10 pages for the main text, inclusive of all

Tools & Demonstrations

… engineering. Since 1998 MODELS has been covering all aspects of modeling, from …-world applications. In all cases, particular attention will be given ….

All submissions must be in English and adhere to the ACM formatting instructions ...

General (4 results)

MODELS 2020 Homepage

… covered all aspects of modeling, from languages and methods, to tools … in the current circumstances. All papers of the main tracks and satellite events …

Impact of COVID-19

… …


… …

Program Overview

… …