Reasoning about VDM Specifications.

Morten Elvang-Gøransson

Published in: VDM Europe (1) (1991)

Keyphrases

practical reasoning
transition systems
formal specification
spatial reasoning
high level
delay insensitive
qualitative reasoning
functional requirements
specification language
formal theory
qualitative spatial
neural network
causal reasoning
hidden markov models
expert systems
case study
e learning