Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification.

Paul A. Bailes Colin J. M. Kemp

Published in: COMPSAC (2003)

Keyphrases

artificial neural networks
user interface
multiscale
high level
formal verification
dynamically changing
formal specification
search algorithm
database systems
data sets
case study
image processing
knowledge base
decision making
artificial intelligence
learning algorithm
real world
neural network