ACM Foundations of Software Engineering, FSE 2017


Article Details
Title: DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour
Article URLs:
Alternative Article URLs:
Authors: Germán Regis
  • University of Rio Cuarto, Department of Computer Science
César Cornejo
  • University of Rio Cuarto, Department of Computer Science
Simón Gutiérrez Brida
  • University of Rio Cuarto, Department of Computer Science
Mariano Politano
  • University of Rio Cuarto, Department of Computer Science
Fernando Raverta
  • University of Cordoba, Digital Communications Lab
Pablo Ponzio
  • University of Rio Cuarto, Department of Computer Science
Nazareno Aguirre
  • University of Rio Cuarto, Department of Computer Science
Juan Pablo Galeotti
  • University of Buenos Aires, Department of Computer Science
Marcelo F. Frias
  • Buenos Aires Institute of Technology, Dept. of Software Engineering
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/sigsoft/RegisCBPRPAGF17
Author Comments:

Discuss this paper and its artifacts below