Defining and Applying Measures of Distance Between Specifications.

Lamia Labed Jilani Jules Desharnais Ali Mili

Published in: IEEE Trans. Software Eng. (2001)

Keyphrases

distance measure
distance transform
computer vision
euclidean distance
real time
neural network
machine learning
decision trees
high level
distance function
formal specification
complexity measures