Graphical versus Logical Specifications.

Gérard Boudol Kim Guldstrand Larsen

Published in: CAAP (1990)

Keyphrases

delay insensitive
real time
machine learning
artificial intelligence
graphical representation
neural network
computer vision
information systems
web services
data structure
expert systems
formal specification
functional requirements
operational semantics
logical representation