Concurrent Program Design in the Extended Theory of Owicki and Gries.

Doug Goldson Brijesh Dongol

Published in: CATS (2005)

Keyphrases

design process
neural network
modelling language
optimal design
building blocks
databases
relational databases
search algorithm
case study
user experience
engineering design
design decisions
design methodology
theoretical basis
computer programs
data mining
design theory
automatic programming