Parallel Verification of Software Architecture Design.
Nacha ChondamrongkulJing SunBingyang WeiIan WarrenPublished in: HASE (2019)
Keyphrases
- software systems
- software design
- software architecture
- source code
- software development
- software tools
- parallel processing
- software components
- cluster of workstations
- parallel computing
- shared memory
- design patterns
- commercial software
- high end
- software developers
- development process
- multi agent systems
- case study
- information systems
- real time
- parallel algorithm
- model checking
- computer systems
- user interface
- software quality
- formal methods
- software packages
- signature verification