PRIMORIS      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 CD-ROM 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), INSPEC, DBLP, EI (Elsevier Engineering Village Index) and Scopus.


SPECIAL SESSIONS LIST

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

COLAFORM 2017Special Session on Collaborative Aspects of Formal Methods (Cancelled)

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

Paper Submission: February 21, 2017 (expired)
Authors Notification: March 1, 2017 (expired)
Camera Ready and Registration: March 16, 2017 (expired)


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.





Special Session on Collaborative Aspects of Formal Methods - COLAFORM 2017


* CANCELLED *




Co-chairs

Maria Spichkova
RMIT University
Australia
e-mail
 
Anna Zamansky
University of Haifa
Israel
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.


footer