Tools for LOTOS Specification Style Transformation.

Published in: FORTE (1989)

Keyphrases

temporal ordering
user friendly
formal methods
high level
end users
decision support
ims qti
real time
tool suite
code generation
artificial intelligence
building blocks
user interface
software tools
decision making
transformation rules
genetic algorithm
real world
data sets