Specification with Nets.

Gisbert Dittrich

Published in: EUROCAST (1989)

Keyphrases

formal specification
specification language
high level
conceptual model
databases
user defined
database
real world
decision making
knowledge base
search algorithm
special case
formal verification
operational semantics