SPINning Parallel Systems Software
Olga Shumsky MatlinEwing L. LuskWilliam McCunePublished in: CoRR (2002)
Keyphrases
- computer systems
- distributed systems
- commercial software
- parallel processing
- high end
- software packages
- test cases
- complex systems
- software architecture
- software components
- software maintenance
- software developers
- distributed shared memory
- legacy systems
- software engineers
- formal methods
- software design
- design tools
- computing systems
- information systems
- software tools
- software systems
- source code
- case study