Formal methods in collaborative projects

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

doi:10.5220/0005937403960402

Formal methods in collaborative projects

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

Department of Information Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 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	https://doi.org/10.5220/0005937403960402
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

Access to Document

10.5220/0005937403960402

Cite this

Zamansky, A., Rodriguez-Navas, G., Adams, M., & Spichkova, M. (2016). Formal methods in collaborative projects. In L. Maciaszek, L. Maciaszek, & J. Filipe (Eds.), ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering (pp. 396-402). (ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering). SciTePress. https://doi.org/10.5220/0005937403960402

Zamansky, Anna ; Rodriguez-Navas, Guillermo ; Adams, Mark et al. / Formal methods in collaborative projects. ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering. editor / Leszek Maciaszek ; Leszek Maciaszek ; Joaquim Filipe. SciTePress, 2016. pp. 396-402 (ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering).

@inproceedings{fa269e80f1f9473f87ef0eda99f34e92,

title = "Formal methods in collaborative projects",

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.",

keywords = "Collaboration, Formal methods, Industrial applications",

author = "Anna Zamansky and Guillermo Rodriguez-Navas and Mark Adams and Maria Spichkova",

note = "Publisher Copyright: Copyright {\textcopyright} 2016 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.; 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, ENASE 2016 ; Conference date: 27-04-2016 Through 28-04-2016",

year = "2016",

doi = "10.5220/0005937403960402",

language = "English",

series = "ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering",

publisher = "SciTePress",

pages = "396--402",

editor = "Leszek Maciaszek and Leszek Maciaszek and Joaquim Filipe",

booktitle = "ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering",

}

Zamansky, A, Rodriguez-Navas, G, Adams, M & Spichkova, M 2016, Formal methods in collaborative projects. in L Maciaszek, L Maciaszek & J Filipe (eds), ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering. ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, SciTePress, pp. 396-402, 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, ENASE 2016, Rome, Italy, 27/04/16. https://doi.org/10.5220/0005937403960402

Formal methods in collaborative projects. / Zamansky, Anna; Rodriguez-Navas, Guillermo; Adams, Mark et al.
ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering. ed. / Leszek Maciaszek; Leszek Maciaszek; Joaquim Filipe. SciTePress, 2016. p. 396-402 (ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Formal methods in collaborative projects

AU - Zamansky, Anna

AU - Rodriguez-Navas, Guillermo

AU - Adams, Mark

AU - Spichkova, Maria

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 - http://www.scopus.com/inward/record.url?scp=84979620767&partnerID=8YFLogxK

U2 - 10.5220/0005937403960402

DO - 10.5220/0005937403960402

M3 - Conference contribution

AN - SCOPUS:84979620767

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

PB - SciTePress

T2 - 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, ENASE 2016

Y2 - 27 April 2016 through 28 April 2016

ER -

Zamansky A, Rodriguez-Navas G, Adams M, Spichkova M. Formal methods in collaborative projects. In Maciaszek L, Maciaszek L, Filipe J, editors, ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering. SciTePress. 2016. p. 396-402. (ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering). doi: 10.5220/0005937403960402

Formal methods in collaborative projects

Abstract

Publication series

Conference

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this