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.
DynAlloy: upgrading alloy with actions [link]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