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

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

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

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

Co-chairs

	Gundars Alksnis Riga Technical University Latvia e-mail

	Janis Osis Riga Technical University Latvia e-mail

Scope

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.

more information >>

Special Session on Collaborative Aspects of Formal Methods - COLAFORM 2016

Co-chairs

	Anna Zamansky University of Haifa Israel e-mail

	Maria Spichkova RMIT University Australia e-mail

Scope

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.

more information >>