Testable Use Cases in the Abstract State Machine Language
Asia-Pacific Conference on Quality Software
By W. Grieskamp, M. Lepper, W. Schulte, N. Tillmann
Issue Date:December 2001
Use cases are a method for describing interactions between humans and/or systems. However, despite their popularity, there is no agreed formal syntax and semantics of use cases. The Abstract State Machine Language (ASML) is an executable specification lang...