DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour. Regis, G., Cornejo, C., Brida, S. G., Politano, M., Raverta, F. D., Ponzio, P., Aguirre, N., Galeotti, J. P., & Frias, M. F. In Bodden, E., Schäfer, W., van Deursen, A., & Zisman, A., editors, Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, pages 969–973, 2017. ACM.
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/sigsoft/RegisCBPRPAGF17,
  author       = {Germ{\'{a}}n Regis and
                  C{\'{e}}sar Cornejo and
                  Sim{\'{o}}n Guti{\'{e}}rrez Brida and
                  Mariano Politano and
                  Fernando D. Raverta and
                  Pablo Ponzio and
                  Nazareno Aguirre and
                  Juan Pablo Galeotti and
                  Marcelo F. Frias},
  editor       = {Eric Bodden and
                  Wilhelm Sch{\"{a}}fer and
                  Arie van Deursen and
                  Andrea Zisman},
  title        = {DynAlloy analyzer: a tool for the specification and analysis of alloy
                  models with dynamic behaviour},
  booktitle    = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
                  Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  pages        = {969--973},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3106237.3122826},
  doi          = {10.1145/3106237.3122826},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/RegisCBPRPAGF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0