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 language | English |
|---|---|
| Title of host publication | ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering |
| Editors | Leszek Maciaszek, Leszek Maciaszek, Joaquim Filipe |
| Publisher | SciTePress |
| Pages | 396-402 |
| Number of pages | 7 |
| ISBN (Electronic) | 9789897581892 |
| DOIs | |
| State | Published - 2016 |
| Event | 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, ENASE 2016 - Rome, Italy Duration: 27 Apr 2016 → 28 Apr 2016 |
Publication series
| Name | ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering |
|---|
Conference
| Conference | 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, ENASE 2016 |
|---|---|
| Country/Territory | Italy |
| City | Rome |
| Period | 27/04/16 → 28/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