The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA.

Peter Gorm Larsen John S. Fitzgerald

Published in: J. Log. Algebraic Methods Program. (2016)

Keyphrases

decision support
software tools
machine learning
computer vision
end users
design decisions
decision making
image sequences
artificial neural networks
programming language
building blocks
user friendly
factors influencing
software evolution
artificial life