The Larch Approach to Specification (Abstract).

Published in: VDM Europe (1) (1991)

Keyphrases

high level
state machines
higher level
state machine
neural network
real time
computer vision
three dimensional
code generation
expert systems
knowledge level
formal specification
transition systems
programming language
case based reasoning
low level
multi agent systems
natural language
information systems
real world