Formalizing ODP Computational Viewpoint Specifications in Maude.

José Raúl Romero Antonio Vallecillo

Published in: EDOC (2004)

Keyphrases

viewpoint
formal specification
data sets
web pages
case study
multiple views
databases
genetic algorithm
computer vision
information systems
three dimensional
illumination conditions
mathematical programming
functional requirements