On formalizing UML state machines using ASM.

Egon Börger Alessandra Cavarra Elvinia Riccobene

Published in: Inf. Softw. Technol. (2004)

Keyphrases

state machines
state machine
sequence diagrams
active shape model
petri net
fault tolerant
finite state machines
intermediate representation
software engineering
data structure
test cases
regression testing
neural network
artificial intelligence
peer to peer
software systems