Consistency Checking within Embedded Design Languages.

Andres Rudmik B. E. Casey H. Cohen

Published in: ICSE (1982)

Keyphrases

consistency checking
user interface
temporal reasoning
cross lingual
data sets
databases
case study
design process
data integration
expressive power
query answering
embedded systems
stochastic search