Verifying the design of an outsourced COBOL system with IntensiVE.

Andy Kellens Carlos Noguera Theo D'Hondt Luc Jorissen Bart Van Passel

Published in: ICSM (2010)

Keyphrases

databases
computer vision
three dimensional
real time
machine learning
image processing
optimal solution
evolutionary algorithm
design methodology