Functional Requirements Validation by Transforming Use Case Models Into Abstract State Machines
- Authors
- P. Scandurra, A. Arnoldi, T. Yue and M. Dolci
- Editors
- S. Ossowski and P. Lecca
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2012
- Journal
- SAC '12 Proceedings of the 27th Annual ACM Symposium on Applied Computing
- Publisher
- ACM New York
- Citation key
- 8796