Collaboration tool for distributed open source verification.
Roger Nassif Mokarzel FilhoMatheus de Souza PereiraCassia Scaranello FariaGizelle Sandrini LemosPublished in: ICGSE (2019)
Keyphrases
- open source
- software package
- geographically dispersed
- distributed systems
- information sharing
- peer to peer
- cooperative
- resource sharing
- open source software
- geographically distributed
- source code
- model checking
- cross disciplinary
- collaborative learning
- computer networks
- map reduce
- neural network
- web based collaborative
- loosely coupled
- formal methods
- communication cost
- user friendly
- lightweight
- knowledge management
- multi agent systems