Analyzing software process models with AVISPA - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Julio Ariel Hurtado Alegria, María Cecilia Bastarrica, Alexandre Bergel. Analyzing software process models with AVISPA. In David Raffo, Dietmar Pfahl, Li Zhang, editors, International Conference on Software and Systems Process, ICSSP 2011, Honolulu, HI, USA, May 21-22, 2011, Proceedings. pages 23-32, ACM, 2011. [doi]

The following publications are possibly variants of this publication:

Analyzing the Scrum Process Model with AVISPAJulio Ariel Hurtado Alegria, M. Cecilia Bastarrica, Alexandre Bergel. sccc 2010: 60-65 [doi]

Avispa: a tool for analyzing software process modelsJulio Ariel Hurtado Alegria, María Cecilia Bastarrica, Alexandre Bergel. SMR, 26(4):434-450, 2014. [doi]

runs on WebDSL