Login / Signup
Writing and executing ODP computational viewpoint specifications using Maude.
José Raúl Romero
Antonio Vallecillo
Francisco Durán
Published in:
Comput. Stand. Interfaces (2007)
Keyphrases
</>
viewpoint
formal specification
information systems
d objects
written in natural language
real time
knowledge base
mathematical programming
computational power
specification language
control flow
operational semantics
word processing
delay insensitive