Sign in

Transformation of B specifications into UML class diagrams and state machines.

Houda FekihLeila Jemni Ben AyedStephan Merz
Published in: SAC (2006)
Keyphrases
  • state machines
  • uml class diagrams
  • class diagrams
  • sequence diagrams
  • state machine
  • class diagram
  • petri net
  • description logics
  • uml diagrams
  • reactive systems
  • intermediate representation
  • recurrent networks
  • test set