Rigorous Abstraction and Specification in Parallel Software Development.
H. H. ten CatePublished in: EUROSIM (1994)
Keyphrases
- software development
- high level
- software engineering
- code generation
- case study
- development process
- shared memory
- massively parallel
- cost estimation
- specification language
- tool support
- parallel computing
- parallel processing
- software systems
- information systems
- provably correct
- pair programming
- systems development
- parallel implementation
- object oriented