Towards Correspondence Carrying Specifications.

Marius C. Bujorianu Eerke A. Boiten

Published in: AMAST (2004)

Keyphrases

high level
point correspondences
functional requirements
control flow
data flow
formal specification
concurrent systems
written in natural language
neural network
artificial intelligence
website
multi agent
pairwise
correspondence matching
point to point correspondences