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]](https://bibbase.org/img/filetypes/link.svg "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},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/conf/sbmf/MolinaCDRCAF16.bib},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium, {SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
doi = {10.1007/978-3-319-49815-7\_9},
editor = {Leila Ribeiro and Thierry Lecomte},
pages = {145--160},
series = {Lecture Notes in Computer Science},
timestamp = {Mon, 02 Dec 2019 18:16:30 +0100},
title = {An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications},
url = {https://doi.org/10.1007/978-3-319-49815-7\_9},
volume = {10090},
year = {2016},
Bdsk-Url-1 = {https://doi.org/10.1007/978-3-319-49815-7%5C_9},
Bdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-319-49815-7%5C_9}}
Downloads: 0
{"_id":"ppXr46eCX9fDy5gkC","bibbaseid":"molina-cornejo-degiovanni-regis-castro-aguirre-frias-anevolutionaryapproachtotranslateoperationalspecificationsintodeclarativespecifications-2016","authorIDs":["3N7XEqvzZFqX4DuQj","4e7aYzne8BsrCdPCG","5deab0a703c11ade01000169","5deab2bf03c11ade010001b2","5deab34203c11ade010001c2","5deab80703c11ade01000259","5e11c07ee49b0bdf01000043","5e11c263e49b0bdf01000069","5e11c459e49b0bdf0100007e","5e407f28b531d7de010000e7","5e418eb58491fadf010000dd","5e41983b8491fadf01000179","5e41a1828491fadf01000242","5e41a37e0b4861de0100002f","5e41a72d0b4861de0100007d","5e4361cda37866de01000196","5e45672849667cde010000a3","5e45e54dad0603df0100016b","5e58343e1f3fc8de010000b9","5e5d78030b73f6de010000d6","5e6505329eed46de01000023","5e662cff273916de01000178","5e68e9ac1a389bdf01000236","5j4NByM5MKxiRBsHS","756grSqXCnHik9PuY","79d33dgAA6BEPs94f","7Jt5MZnzdXBy4vWSF","DdWyc5ePbbg9Aifyp","DfL8FmxiFwqtvx9kP","Dj4F7GAjMc32HEdec","ESCfa2H8PosqrMXbe","EqgC96EJcmcQRerh4","FWhokAbECYfKyDxbx","HJ57iF4XNsPHQapSS","M4H4RHiTgGJ7wTFXE","PD3yt2bE2oP5Fyjd7","PRChmifkKsJNL77yB","RiaukokQ2nWCArYfu","SRSz79kYxLgExcNv7","T8E6LbDoYcwGNXuKK","TFCuiv7qNvZSxwvyY","WMG8WpPoeoDZBfPyk","Zmg6R4sPRW5qspQhd","a2GqidFX7A3ea6fDs","bKXriwTJGi83x745H","c4swKjevykNzbsWz3","gPJx2gCyQdY7fgvmP","grqqK8RXTczqzwBT2","k7xoEPKmirS6w7SER","kv9tYhDBXzbWp8aGM","mNXxxoBCtRxHaQ3Li","nEJStMLy8dcybxyLW","nMHnP2xa4EysGjMxW","oibhNBPYhJXsWa5P4","qwfvPeebCa4CfGz4p","rDtz2Egy3pHmHSDfG","sGQbSD4N39C3jjfMb","sz2GRd89uarydCKGa","tzQ6L7u92mCcRRvBL","uPK5Mr9QvEuywB7m9","ueDMXateHA9pfArBB","vKPEK8u4m67zJGATd","vZN7DypNoixxBcrhL","xzoX3FvWL5D93LXwe","zhMvDFjE3ZGHEkhHm"],"author_short":["Molina, F.","Cornejo, C.","Degiovanni, R.","Regis, G.","Castro, P. F.","Aguirre, N.","Frias, M. F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Facundo"],"propositions":[],"lastnames":["Molina"],"suffixes":[]},{"firstnames":["César"],"propositions":[],"lastnames":["Cornejo"],"suffixes":[]},{"firstnames":["Renzo"],"propositions":[],"lastnames":["Degiovanni"],"suffixes":[]},{"firstnames":["Germán"],"propositions":[],"lastnames":["Regis"],"suffixes":[]},{"firstnames":["Pablo","F."],"propositions":[],"lastnames":["Castro"],"suffixes":[]},{"firstnames":["Nazareno"],"propositions":[],"lastnames":["Aguirre"],"suffixes":[]},{"firstnames":["Marcelo","F."],"propositions":[],"lastnames":["Frias"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/sbmf/MolinaCDRCAF16.bib","booktitle":"Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings","doi":"10.1007/978-3-319-49815-7_9","editor":[{"firstnames":["Leila"],"propositions":[],"lastnames":["Ribeiro"],"suffixes":[]},{"firstnames":["Thierry"],"propositions":[],"lastnames":["Lecomte"],"suffixes":[]}],"pages":"145–160","series":"Lecture Notes in Computer Science","timestamp":"Mon, 02 Dec 2019 18:16:30 +0100","title":"An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications","url":"https://doi.org/10.1007/978-3-319-49815-7\\_9","volume":"10090","year":"2016","bdsk-url-1":"https://doi.org/10.1007/978-3-319-49815-7%5C_9","bdsk-url-2":"http://dx.doi.org/10.1007/978-3-319-49815-7%5C_9","bibtex":"@inproceedings{DBLP:conf/sbmf/MolinaCDRCAF16,\n\tauthor = {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},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/sbmf/MolinaCDRCAF16.bib},\n\tbooktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium, {SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},\n\tdoi = {10.1007/978-3-319-49815-7\\_9},\n\teditor = {Leila Ribeiro and Thierry Lecomte},\n\tpages = {145--160},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Mon, 02 Dec 2019 18:16:30 +0100},\n\ttitle = {An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications},\n\turl = {https://doi.org/10.1007/978-3-319-49815-7\\_9},\n\tvolume = {10090},\n\tyear = {2016},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-319-49815-7%5C_9},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-319-49815-7%5C_9}}\n\n","author_short":["Molina, F.","Cornejo, C.","Degiovanni, R.","Regis, G.","Castro, P. F.","Aguirre, N.","Frias, M. F."],"editor_short":["Ribeiro, L.","Lecomte, T."],"key":"DBLP:conf/sbmf/MolinaCDRCAF16","id":"DBLP:conf/sbmf/MolinaCDRCAF16","bibbaseid":"molina-cornejo-degiovanni-regis-castro-aguirre-frias-anevolutionaryapproachtotranslateoperationalspecificationsintodeclarativespecifications-2016","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-49815-7\\_9"},"metadata":{"authorlinks":{"molina, f":"https://facumolina.github.io/"}}},"bibtype":"inproceedings","biburl":"https://mfis.dc.exa.unrc.edu.ar/downloads/mfis-pubs.bib","creationDate":"2019-12-06T19:47:04.717Z","downloads":2,"keywords":[],"search_terms":["evolutionary","approach","translate","operational","specifications","declarative","specifications","molina","cornejo","degiovanni","regis","castro","aguirre","frias"],"title":"An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications","year":2016,"dataSources":["CctimS4AgKgzGybH5","g77GCaDTv8pHoYMM3"]}