Banner
Home      Log In      Contacts      FAQs      INSTICC Portal
 
Documents

Special Sessions

Special sessions are very small and specialized events to be held during the conference as a set of oral and poster presentations that are highly specialized in some particular theme or consisting of the works of some particular international project. The goal of special sessions (minimum 4 papers; maximum 9) is to provide a focused discussion on innovative topics. All accepted papers will be published in a special section of the conference proceedings book, under an ISBN reference, and on digital support. All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. SCITEPRESS is a member of CrossRef and every paper is given a DOI (Digital Object Identifier). The proceedings are submitted for indexation by DBLP, Web of Science / Conference Proceedings Citation Index, EI and SCOPUS.


SPECIAL SESSIONS LIST

AMARETTO 2018Special Session on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
Chair(s): Francesca Lonetti, Antonello Calabrò and Eda Marchetti

MOMA3N 2018Special Session on Model Management And Analytics
Chair(s): Önder Babur, Loek Cleophas and Bedir Tekinerdogan

Special Session on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - AMARETTO 2018

Paper Submission: November 14, 2017 (expired)
Authors Notification: November 21, 2017 (expired)
Camera Ready and Registration: November 29, 2017 (expired)


Co-chairs

Francesca Lonetti
SEDC Laboratory at Institute of information science and technology "Alessandro Faedo" (ISTI), National Research Council (CNR) Pisa
Italy
e-mail
 
Antonello Calabrò
Software Engineering and Dependable Computing, Istituto di Scienza e Tecnologie dell'Informazione "A.Faedo"
Italy
e-mail
 
Eda Marchetti
ISTI-CNR
Italy
e-mail
 
Scope

Recent years have witnessed the emergence of domain specific model-based approaches for verification and validation in software development. These approaches are tailored to specific needs of the domain and leverage domain knowledge to adapt and customize well-known model-based approaches for verification and validation. Specifically, in the last decades software development is driven by emerging trends such as the widespread diffusion of mobile technology, cloud infrastructures adoption as well as big data analysis and software as a service paradigm that point out new constraints and challenges for the verification and validation activity. 





Special Session on Model Management And Analytics - MOMA3N 2018

Paper Submission: November 10, 2017 (expired)
Authors Notification: November 22, 2017 (expired)
Camera Ready and Registration: November 29, 2017 (expired)


Co-chairs

Önder Babur
Mathematics and Computer Science, Eindhoven University of Technology
Netherlands
e-mail
 
Loek Cleophas
Eindhoven University of Technology
Netherlands
e-mail
 
Bedir Tekinerdogan
Information Technology, Wageningen University
Netherlands
e-mail
 
Scope

Model-based approaches promote the use of models and related artefacts (such as metamodels and model transformations) as central elements to tackle the complexity of building systems. With their increasing maturity and widespread use (even for large ecosystems and systems of systems), the complexity, size, multiplicity and variety of those artefacts increase. Scalability with respect to variety and multiplicity has remained mostly under the radar. The Special Session on MOdel MAnagement And ANalytics (MoMA3N) aims to gather Modelling researchers and practitioners to discuss the emerging scalability problems and propose solutions. The scope ranges from industrial reports and empirical analyses in the problem domain to novel cross-disciplinary approaches for large-scale analytics and management, e.g. exploiting techniques from data analytics, repository mining and machine learning.
https://modelanalytics.wordpress.com/international-workshop/



footer