Login / Signup
AutoCRUD - Automating IFML Specification of CRUD Operations.
Roberto Rodríguez-Echeverría
José María Conejero
Juan Carlos Preciado
Fernando Sánchez-Figueroa
Published in:
WEBIST (1) (2016)
Keyphrases
</>
high level
artificial intelligence
database systems
specification language
data sets
neural network
information retrieval
information systems
web services
multi agent
formal specification
formal verification
arithmetic operations