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