An evolutionary approach to translating operational specifications into declarative specifications.

Saved in:
Bibliographic Details
Title: An evolutionary approach to translating operational specifications into declarative specifications.
Authors: Molina, Facundo1,2, fmolina@dc.exa.unrc.edu.ar, Cornejo, César1,2, ccornejo@dc.exa.unrc.edu.ar, Degiovanni, Renzo3, renzo.degiovanni@uni.lu, Regis, Germán1, gregis@dc.exa.unrc.edu.ar, Castro, Pablo F.1,2, pcastro@dc.exa.unrc.edu.ar, Aguirre, Nazareno1,2, naguirre@dc.exa.unrc.edu.ar, Frias, Marcelo F.2,4, mfrias@itba.edu.ar
Source: Science of Computer Programming; Jul2019, Vol. 181, p47-63, 17p
Database: Applied Science & Technology Source
Description
ISSN:01676423
DOI:10.1016/j.scico.2019.05.006