Keyphrases
- computational science
- software engineering
- high performance computing
- international workshop
- scientific computing
- artificial intelligence
- software systems
- massively parallel
- formal methods
- parallel computing
- software development
- computing systems
- object oriented
- development process
- grid computing
- computing resources
- reverse engineering
- computing environments
- energy efficiency
- software developers
- fault tolerance
- software projects
- database
- fault tolerant
- model checking
- computer systems
- databases