Home      Log In      Contacts      FAQs      INSTICC Portal

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.


MDI4SE 2016Special Session on Model-Driven Innovations for Software Engineering
Chair(s): Janis Osis and Gundars Alksnis

COLAFORM 2016Special Session on Collaborative Aspects of Formal Methods
Chair(s): Maria Spichkova and Anna Zamansky

Special Session on Model-Driven Innovations for Software Engineering - MDI4SE 2016


Janis Osis
Applied Computer sciences, Riga Technical University
Gundars Alksnis
Applied Computer Sciences, Riga Technical University

The Special Session focuses on theoretical and practical aspects of Object Management Group’s Model-Driven Architecture, Model-Driven Software Development, Model-Driven Engineering, and other Model-Driven Innovations for Software Engineering. It also aims to bring together academics and researchers to share and discuss on Domain-Specific Languages based on models.

Special Session on Collaborative Aspects of Formal Methods - COLAFORM 2016


Maria Spichkova
School of Science, RMIT University
Anna Zamansky
Information Systems, University of Haifa

The special session focuses on the readability and comprehensibility of formal methods, especially taking into account the groving importance of collaborative aspects. Successful collaboration and communication between stakeholders are key factors in the development of complex software systems. The use of formal methods in this context offers rigor and precision, while reducing ambiguity and inconsistency. However problems of readability and comprehensibility pose objective barriers hindering the adoption of formal methods in industry. These aspects become even more crucial in large-scale projects, where professionals with different technical and cultural backgrounds have to collaborate. The aim of this special session is to initiate a discourse on bridging the gap between the usefulness and applicability of formal methods in innovative Software Engineering.