TY - GEN
T1 - Formal methods in collaborative projects
AU - Zamansky, Anna
AU - Rodriguez-Navas, Guillermo
AU - Adams, Mark
AU - Spichkova, Maria
N1 - Publisher Copyright: Copyright © 2016 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.
PY - 2016
Y1 - 2016
N2 - 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.
AB - 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.
KW - Collaboration
KW - Formal methods
KW - Industrial applications
UR - https://www.scopus.com/pages/publications/84979620767
U2 - 10.5220/0005937403960402
DO - 10.5220/0005937403960402
M3 - Conference contribution
T3 - ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering
SP - 396
EP - 402
BT - ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering
A2 - Maciaszek, Leszek
A2 - Filipe, Joaquim
T2 - 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, ENASE 2016
Y2 - 27 April 2016 through 28 April 2016
ER -