Formal methods in collaborative projects

Anna Zamansky, Guillermo Rodriguez-Navas, Mark Adams, Maria Spichkova

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

In this paper we address particular aspects of integration of formal methods in large-scale industrial projects, namely collaborative aspects. We review recent works addressing such aspects, identify some current trends and discuss directions for further research.

Original languageEnglish
Title of host publicationENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering
EditorsLeszek Maciaszek, Leszek Maciaszek, Joaquim Filipe
PublisherSciTePress
Pages396-402
Number of pages7
ISBN (Electronic)9789897581892
DOIs
StatePublished - 2016
Event11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, ENASE 2016 - Rome, Italy
Duration: 27 Apr 201628 Apr 2016

Publication series

NameENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering

Conference

Conference11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, ENASE 2016
Country/TerritoryItaly
CityRome
Period27/04/1628/04/16

Bibliographical note

Publisher Copyright:
Copyright © 2016 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.

Keywords

  • Collaboration
  • Formal methods
  • Industrial applications

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Formal methods in collaborative projects'. Together they form a unique fingerprint.

Cite this