On the Execution of ODP Computational Specifications.

José Raúl Romero Antonio Vallecillo

Published in: EDOC Workshops (2006)

Keyphrases

control flow
high level
real time
data sets
real world
information retrieval
e learning
computational models
operational semantics
execution model
execution traces
formal descriptions