Andrea Arnoldi
External collaborator
Publications
Simula-affiliated publications listed
2012
Proceedings, refereed
Read Functional Requirements Validation by Transforming Use Case Models Into Abstract State Machines
P. Scandurra, A. Arnoldi, T. Yue and M. Dolci
Functional Requirements Validation by Transforming Use Case Models Into Abstract State Machines
SAC '12 Proceedings of the 27th Annual ACM Symposium on Applied Computing