Login / Signup
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications.
Facundo Molina
César Cornejo
Renzo Degiovanni
Germán Regis
Pablo F. Castro
Nazareno Aguirre
Marcelo F. Frias
Published in:
SBMF (2016)
Keyphrases
</>
written in natural language
high level
attribute grammars
formal specification
delay insensitive
databases
data mining
domain specific
real time
domain independent
operational semantics
specification language
conceptual models
functional requirements
search algorithm
search engine
genetic algorithm
data sets