Defining and verifying behaviour of domain specific language with fUML.

Qinan Lai Andy Carpenter

Published in: BM-FA (2012)

Keyphrases

domain specific languages
programming language
model checking
general purpose
test cases
computer vision
decision making
neural network
real world
feature selection
three dimensional
multi agent
expert systems
information technology