Constraint-Oriented Specification in a Constructive Formal Description Technique.

Published in: REX Workshop (1989)

Keyphrases

formal specification
high level
constraint language
formal verification
neural network
relational databases
model checking
reactive systems
computer vision
website
objective function
optimal solution
user defined
formal methods
specification language