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 Thomson Reuters Conference Proceedings Citation Index (ISI), DBLP, EI (Elsevier Engineering Village Index) and Scopus.

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.

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.