Login / Signup
Manipulating algebraic specifications with term-based and graph-based representations.
Anamaria Martins Moreira
Christophe Ringeissen
David Déharbe
Gleydson Lima
Published in:
J. Log. Algebraic Methods Program. (2004)
Keyphrases
</>
graph based representations
graph theory
graph matching
formal specification
constraint satisfaction problems
neural network
search engine
high level
social network analysis
language model
distance measure
query expansion
functional requirements
specification language
delay insensitive