DynAlloy: upgrading alloy with actions. Frias, M. F., Galeotti, J. P., Pombo, C. L., & Aguirre, N. In Roman, G., Griswold, W. G., & Nuseibeh, B., editors, 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pages 442–451, 2005. ACM. Paper doi bibtex @inproceedings{DBLP:conf/icse/FriasGPA05,
author = {Marcelo F. Frias and Juan P. Galeotti and Carlos L{\'{o}}pez Pombo and Nazareno Aguirre},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/conf/icse/FriasGPA05.bib},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005), 15-21 May 2005, St. Louis, Missouri, {USA}},
doi = {10.1145/1062455.1062535},
editor = {Gruia{-}Catalin Roman and William G. Griswold and Bashar Nuseibeh},
pages = {442--451},
publisher = {{ACM}},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
title = {DynAlloy: upgrading alloy with actions},
url = {https://doi.org/10.1145/1062455.1062535},
year = {2005},
Bdsk-Url-1 = {https://doi.org/10.1145/1062455.1062535},
Bdsk-Url-2 = {http://dx.doi.org/10.1145/1062455.1062535}}
Downloads: 0
{"_id":"hHz7tudsuaBMzA3t2","bibbaseid":"frias-galeotti-pombo-aguirre-dynalloyupgradingalloywithactions-2005","authorIDs":["5deab0a703c11ade01000169","5deab2bf03c11ade010001b2","5deab34203c11ade010001c2","5deab80703c11ade01000259"],"author_short":["Frias, M. F.","Galeotti, J. P.","Pombo, C. L.","Aguirre, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Marcelo","F."],"propositions":[],"lastnames":["Frias"],"suffixes":[]},{"firstnames":["Juan","P."],"propositions":[],"lastnames":["Galeotti"],"suffixes":[]},{"firstnames":["Carlos","López"],"propositions":[],"lastnames":["Pombo"],"suffixes":[]},{"firstnames":["Nazareno"],"propositions":[],"lastnames":["Aguirre"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/icse/FriasGPA05.bib","booktitle":"27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA","doi":"10.1145/1062455.1062535","editor":[{"firstnames":["Gruia-Catalin"],"propositions":[],"lastnames":["Roman"],"suffixes":[]},{"firstnames":["William","G."],"propositions":[],"lastnames":["Griswold"],"suffixes":[]},{"firstnames":["Bashar"],"propositions":[],"lastnames":["Nuseibeh"],"suffixes":[]}],"pages":"442–451","publisher":"ACM","timestamp":"Wed, 16 Oct 2019 14:14:49 +0200","title":"DynAlloy: upgrading alloy with actions","url":"https://doi.org/10.1145/1062455.1062535","year":"2005","bdsk-url-1":"https://doi.org/10.1145/1062455.1062535","bdsk-url-2":"http://dx.doi.org/10.1145/1062455.1062535","bibtex":"@inproceedings{DBLP:conf/icse/FriasGPA05,\n\tauthor = {Marcelo F. Frias and Juan P. Galeotti and Carlos L{\\'{o}}pez Pombo and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/FriasGPA05.bib},\n\tbooktitle = {27th International Conference on Software Engineering {(ICSE} 2005), 15-21 May 2005, St. Louis, Missouri, {USA}},\n\tdoi = {10.1145/1062455.1062535},\n\teditor = {Gruia{-}Catalin Roman and William G. Griswold and Bashar Nuseibeh},\n\tpages = {442--451},\n\tpublisher = {{ACM}},\n\ttimestamp = {Wed, 16 Oct 2019 14:14:49 +0200},\n\ttitle = {DynAlloy: upgrading alloy with actions},\n\turl = {https://doi.org/10.1145/1062455.1062535},\n\tyear = {2005},\n\tBdsk-Url-1 = {https://doi.org/10.1145/1062455.1062535},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/1062455.1062535}}\n\n","author_short":["Frias, M. F.","Galeotti, J. P.","Pombo, C. L.","Aguirre, N."],"editor_short":["Roman, G.","Griswold, W. G.","Nuseibeh, B."],"key":"DBLP:conf/icse/FriasGPA05","id":"DBLP:conf/icse/FriasGPA05","bibbaseid":"frias-galeotti-pombo-aguirre-dynalloyupgradingalloywithactions-2005","role":"author","urls":{"Paper":"https://doi.org/10.1145/1062455.1062535"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://mfis.dc.exa.unrc.edu.ar/downloads/mfis-pubs.bib","creationDate":"2019-12-06T19:48:55.612Z","downloads":0,"keywords":[],"search_terms":["dynalloy","upgrading","alloy","actions","frias","galeotti","pombo","aguirre"],"title":"DynAlloy: upgrading alloy with actions","year":2005,"dataSources":["CctimS4AgKgzGybH5"]}