An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. Molina, F., Cornejo, C., Degiovanni, R., Regis, G., Castro, P. F., Aguirre, N., & Frias, M. F. In Ribeiro, L. & Lecomte, T., editors, Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, volume 10090, of Lecture Notes in Computer Science, pages 145–160, 2016.
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/sbmf/MolinaCDRCAF16,
  author    = {Facundo Molina and
               C{\'{e}}sar Cornejo and
               Renzo Degiovanni and
               Germ{\'{a}}n Regis and
               Pablo F. Castro and
               Nazareno Aguirre and
               Marcelo F. Frias},
  editor    = {Leila Ribeiro and
               Thierry Lecomte},
  title     = {An Evolutionary Approach to Translate Operational Specifications into
               Declarative Specifications},
  booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
               {SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10090},
  pages     = {145--160},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-49815-7\_9},
  doi       = {10.1007/978-3-319-49815-7\_9},
  timestamp = {Sun, 25 Oct 2020 23:10:05 +0100},
  biburl    = {https://dblp.org/rec/conf/sbmf/MolinaCDRCAF16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0