RMIT University
Browse

Formal methods in collaborative projects

conference contribution
posted on 2024-10-31, 19:45 authored by Anna Zamansky, Guillermo Rodriguez-Navas, Mark Adams, Maria SpichkovaMaria Spichkova
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.

History

Related Materials

  1. 1.
    DOI - Is published in 10.5220/0005937403960402
  2. 2.
    ISBN - Is published in 9789897581892 (urn:isbn:9789897581892)

Start page

396

End page

402

Total pages

7

Outlet

Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering (ENASE 2016)

Editors

Leszek Maciaszek and Joaquim Filipe

Name of conference

ENASE 2016

Publisher

SCITEPRESS

Place published

Rome, Italy

Start date

2016-04-27

End date

2016-04-28

Language

English

Copyright

© 2016 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.

Former Identifier

2006062552

Esploro creation date

2020-06-22

Fedora creation date

2016-06-16

Usage metrics

    Scholarly Works

    Categories

    Keywords

    CollaborationFormal MethodsIndustrial Applications

    Licence

    All rights reserved

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC