Real-Time Specification Patterns and Tools.

Nouha Abid Silvano Dal-Zilio Didier Le Botlan

Published in: FMICS (2012)

Keyphrases

real time
software tools
low cost
design patterns
tool suite
data mining techniques
databases
code generation
decision support
vision system
formal methods
control system
software development
pattern mining
programming language
formal specification
spatio temporal
high level
modelling language
neural network
ims qti