Ada-based abstract machine specification of CAIS to generate validation tests.

Timothy E. Lindquist Jeffrey L. Facemire

Published in: WADAS (1985)

Keyphrases

abstract machine
data model
automatically generate
artificial intelligence
high level
formal specification
data sets
user interface
automatically generating
formal verification
statistical tests
special case
relational databases
multiscale
database systems
information systems
neural network