Prototyping A&A ReSpecT in Maude.

Matteo Casadei Andrea Omicini Mirko Viroli

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

machine learning
database
real world
formal specification
databases
information systems
decision making
web pages
data model
software systems