BlueState - A Metamodel-based Execution Framework for UML State Machines

Proceedings of the 6th International Conference on Software and Database Technologies ◽

10.5220/0003609202260231 ◽

2011 ◽

Keyword(s):

State Machines ◽

Uml State Machines

Download Full-text

A software development process based on UML state machines

2020 International Conference on Advanced Aspects of Software Engineering (ICAASE) ◽

10.1109/icaase51408.2020.9380117 ◽

2020 ◽

Author(s):

Eric Cariou ◽

Lea Brunschwig ◽

Olivier Le Goaer ◽

Franck Barbier

Keyword(s):

Software Development ◽

Development Process ◽

State Machines ◽

Software Development Process ◽

Uml State Machines

Download Full-text

Enhancing UML State Machines with Aspects

Model Driven Engineering Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75209-7_36 ◽

2007 ◽

pp. 529-543 ◽

Cited By ~ 12

Author(s):

Gefei Zhang ◽

Matthias Hölzl ◽

Alexander Knapp

Keyword(s):

State Machines ◽

Uml State Machines

Download Full-text

Towards C# Application Development Using UML State Machines: A Case Study

Lecture Notes in Electrical Engineering - Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering ◽

10.1007/978-1-4614-3558-7_68 ◽

2012 ◽

pp. 793-803 ◽

Cited By ~ 1

Author(s):

Anna Derezińska ◽

Marian Szczykulski

Keyword(s):

State Machines ◽

Application Development ◽

Uml State Machines

Download Full-text

Secure State UML: Modeling and Testing Security Concerns of Software Systems Using UML State Machines

Research Journal of Applied Sciences Engineering and Technology ◽

10.19026/rjaset.7.734 ◽

2014 ◽

Vol 7 (18) ◽

pp. 3786-3790

Author(s):

S. Batool ◽

S. Asghar

Keyword(s):

Software Systems ◽

State Machines ◽

Uml Modeling ◽

Uml State Machines ◽

Security Concerns

Download Full-text

Formalising UML State Machines for Model Checking

Lecture Notes in Computer Science - «UML»’99 — The Unified Modeling Language ◽

10.1007/3-540-46852-8_31 ◽

1999 ◽

pp. 430-444 ◽

Cited By ~ 61

Author(s):

Johan Lilius ◽

Iván Porres Paltor

Keyword(s):

Model Checking ◽

State Machines ◽

Uml State Machines

Download Full-text

Translation of UML state machines to Modelica: Handling semantic issues

SIMULATION ◽

10.1177/0037549712470296 ◽

2013 ◽

Vol 89 (4) ◽

pp. 498-512 ◽

Cited By ~ 8

Author(s):

Wladimir Schamai ◽

Peter Fritzson ◽

Chris JJ Paredis

Keyword(s):

State Machines ◽

Uml State Machines

Download Full-text

Formalization of UML state machines using temporal logic

Software & Systems Modeling ◽

10.1007/s10270-003-0029-7 ◽

2004 ◽

Vol 3 (1) ◽

pp. 31-54 ◽

Cited By ~ 4

Author(s):

Carlos Rossi ◽

Manuel Enciso ◽

Inmaculada P. de Guzmán

Keyword(s):

Temporal Logic ◽

State Machines ◽

Uml State Machines

Download Full-text

Test Coverage Analysis of UML State Machines

2010 Third International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2010.60 ◽

2010 ◽

Cited By ~ 10

Author(s):

Ricardo D.F. Ferreira ◽

João P. Faria ◽

Ana C.R. Paiva

Keyword(s):

State Machines ◽

Test Coverage ◽

Coverage Analysis ◽

Uml State Machines

Download Full-text

Modelling UML state machines with FoCaLiZe

International Journal of Information and Communication Technology ◽

10.1504/ijict.2018.10010449 ◽

2018 ◽

Vol 13 (1) ◽

pp. 34

Author(s):

Choukri Bey Ben Yelles ◽

Renaud Rioboo ◽

Messaoud Abbas

Keyword(s):

State Machines ◽

Uml State Machines

Download Full-text

Design of reconfigurable logic controllers from hierarchical UML state machines

2009 4th IEEE Conference on Industrial Electronics and Applications ◽

10.1109/iciea.2009.5138174 ◽

2009 ◽

Cited By ~ 5

Author(s):

Marian Adamski

Keyword(s):

State Machines ◽

Reconfigurable Logic ◽

Uml State Machines ◽

Logic Controllers

Download Full-text