Unifying theories of reactive design contracts.

Simon Foster Ana Cavalcanti Samuel Canham Jim Woodcock Frank Zeyda

Published in: Theor. Comput. Sci. (2020)

Keyphrases

design process
data sets
user interface
knowledge based systems
conceptual framework
decision trees
low cost
engineering design
design decisions
databases
neural network
social networks
database systems
knowledge representation