Constructing Specifications by Combining Parallel Elaborations.

Martin S. Feather

Published in: IEEE Trans. Software Eng. (1989)

Keyphrases

parallel processing
real world
database
parallel computation
massively parallel
distributed memory machines
delay insensitive
distributed memory
functional requirements
combining multiple
formal specification
shared memory
search algorithm
high level
case study
information systems
genetic algorithm