Validating specifications: a contract-based approach.

Published in: IEEE Trans. Engineering Management (2001)

Keyphrases

supply chain
databases
formal specification
computer vision
feature selection
image segmentation
high level
similarity measure
multi agent
cloud computing