Sign in
Del método formal a la aplicación industrial en Gestión de Modelos: Maude aplicado a Eclipse Modeling Framework.
Artur Boronat
José Iborra
José A. Carsí
Isidro Ramos
Abel Gómez
Published in:
JISBD (2005)
Keyphrases
</>
modeling framework
formal specification
open source
source code
topic modeling
web pages
learning algorithm
artificial intelligence
information systems
software engineering
natural language processing
equational theories
del gobierno