Login / Signup

A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.

Yunming WangJean-Pierre TalpinAlbert BenvenistePaul Le Guernic
Published in: ISORC (2000)
Keyphrases
  • state machines
  • state machine
  • object oriented
  • transition systems
  • test set
  • software architecture