An ASM operational semantics for use case maps

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2005, Pages 467-468

  Hassine, Jameleddine ^a   Rilling, Juergen ^a   Dssouli, Rachida ^b  

^a Dept of Electrical and Computer Engineering   (Canada)

^b NONE   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; PRODUCT DESIGN; QUERY LANGUAGES; REQUIREMENTS ENGINEERING; STANDARDS; USABILITY ENGINEERING;

HIGH-LEVEL DESIGNS; OPERATIONAL SEMANTICS; USE CASE MAPS (UCM); USER REQUIREMENTS NOTATION (URN);

SEMANTICS;

EID: 27644571281     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/re.2005.10     Document Type: Conference Paper

References (3)

1. Börger E. and Stärk R., Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag, 2003.
2. Gurevich Y., Evolving algebra 1993: Lipari guide. In E. Börger, editor, Specification and Validation Methods. Oxford University Press, Oxford, 1995.
3. ITU-T, URN Focus Group (2002), Draft Rec. Z.152 - UCM: Use Case Map Notation (UCM). Geneva.