Automated Transition from Use Cases to UML State Machines to Support State-Based Testing

2011 ◽  
pp. 115-131 ◽  
Author(s):  
Tao Yue ◽  
Shaukat Ali ◽  
Lionel Briand
Keyword(s):  
Use Cases ◽  
State Machines ◽  
Uml State Machines

scholarly journals Enhancing UML State Machines with Aspects

2007 ◽  
pp. 529-543 ◽  
Author(s):  
Gefei Zhang ◽  
Matthias Hölzl ◽  
Alexander Knapp
Keyword(s):  
State Machines ◽  
Uml State Machines

Translation of UML state machines to Modelica: Handling semantic issues

SIMULATION ◽  
2013 ◽  
Vol 89 (4) ◽  
pp. 498-512 ◽  
Author(s):  
Wladimir Schamai ◽  
Peter Fritzson ◽  
Chris JJ Paredis
Keyword(s):  
State Machines ◽  
Uml State Machines

Formalization of UML state machines using temporal logic

2004 ◽  
Vol 3 (1) ◽  
pp. 31-54 ◽  
Author(s):  
Carlos Rossi ◽  
Manuel Enciso ◽  
Inmaculada P. de Guzmán
Keyword(s):  
Temporal Logic ◽  
State Machines ◽  
Uml State Machines

Modelling UML state machines with FoCaLiZe

2018 ◽  
Vol 13 (1) ◽  
pp. 34
Author(s):  
Choukri Bey Ben Yelles ◽  
Renaud Rioboo ◽  
Messaoud Abbas
Keyword(s):  
State Machines ◽  
Uml State Machines
Sign in / Sign up

Export Citation Format

Share Document