Component-based Distributed Software Reconfiguration:A Verification-oriented Survey.
Hélène CoullonLudovic HenrioFrédéric LoulergueSimon RobillardPublished in: ACM Comput. Surv. (2024)
Keyphrases
- distributed systems
- configuration management
- model checking
- software systems
- formal methods
- cooperative
- user interface
- computer systems
- distributed environment
- software tools
- software maintenance
- multi agent
- software developers
- signature verification
- computer networks
- hardware designs
- artificial intelligence
- source code
- software development
- data sets
- test cases
- verification method
- website
- heterogeneous systems
- object oriented
- computing platform
- loosely coupled
- software design
- data collection
- distributed computing
- lightweight
- software projects
- computing environments
- software components
- fault tolerant
- development process