Formal Methods in Collaborative Projects

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

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Formal Methods in Collaborative Projects

In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, 396-402, 2016 , Rome, Italy

Authors: Anna Zamansky ¹ ; Guillermo Rodriguez-Navas ² ; Mark Adams ³ and Maria Spichkova ⁴

Affiliations: ¹ University of Haifa, Israel ; ² Malardalen University, Sweden ; ³ Proof Technologies Ltd, United Kingdom ; ⁴ RMIT University, Australia

Keyword(s): Formal Methods, Collaboration, Industrial Applications.

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.191.181.231

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

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 (ENASE 2016) - COLAFORM; ISBN 978-989-758-189-2; ISSN 2184-4895, SciTePress, pages 396-402. DOI: 10.5220/0005937403960402

@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 (ENASE 2016) - COLAFORM},
year={2016},
pages={396-402},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005937403960402},
isbn={978-989-758-189-2},
issn={2184-4895},
}

TY - CONF

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