Increasing the flexibility of modelling tools via constraint-based specification.

Philip D. Gray Ray Welland

Published in: CASCON (1999)

Keyphrases

modelling language
ims qti
machine learning
high level
constraint satisfaction

formal methods
real time
learning scenarios
software tools
user friendly

formal semantics
ims ld
specification language
visualization tools

formal verification
genetic algorithm
tool suite
neural network