Formal Methods in Collaborative Projects

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

2016

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.

Paper Citation

in Harvard Style

Zamansky A., Rodriguez-Navas G., Adams M. and Spichkova M. (2016). Formal Methods in Collaborative Projects . In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, (ENASE 2016) ISBN 978-989-758-189-2, pages 396-402. DOI: 10.5220/0005937403960402

in Bibtex Style

@conference{colaform16,
author={Anna Zamansky and Guillermo Rodriguez-Navas and Mark Adams and Maria Spichkova},
title={Formal Methods in Collaborative Projects},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, (ENASE 2016)},
year={2016},
pages={396-402},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005937403960402},
isbn={978-989-758-189-2},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, (ENASE 2016)
TI - Formal Methods in Collaborative Projects
SN - 978-989-758-189-2
AU - Zamansky A.
AU - Rodriguez-Navas G.
AU - Adams M.
AU - Spichkova M.
PY - 2016
SP - 396
EP - 402
DO - 10.5220/0005937403960402