Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools.

Francisco Durán

Published in: J. Object Technol. (2022)

Keyphrases

database
neural network
search engine
formal analysis
image analysis
data analysis tools
operational semantics
analysis tool
software tools
statistical analysis
logic programming
knowledge representation
relational databases
data analysis
multi agent systems
knowledge base
databases