Search For:

Displaying 1-1 out of 1 total
Testable Use Cases in the Abstract State Machine Language
Found in: Asia-Pacific Conference on Quality Software
By W. Grieskamp, M. Lepper, W. Schulte, N. Tillmann
Issue Date:December 2001
pp. 0167
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...