Login / Signup
Closing the gap between the specification and the implementation: the ASMETA way.
Paolo Arcaini
Angelo Gargantini
Elvinia Riccobene
Published in:
Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Keyphrases
</>
efficient implementation
real time
implementation details
specification language
artificial intelligence
digital libraries
learning algorithm
image processing
decision trees
high level
relational databases
evolutionary algorithm
general purpose
morphological operators
formal methods