A practical language and toolkit for high-integrity tools.

Ian Toyn David Michael Cattrall John Alexander McDermid Jeremy L. Jacob

Published in: J. Syst. Softw. (1998)

Keyphrases

software tools
language learning
programming language
real life examples
wide range
user friendly
tool kit
natural language
integrity constraints
end users
neural network
building blocks
data sets
language processing
modelling language
scripting language
key performance indicators
visual languages
case study