Implementing Reactive Systems with UML State Machines and Ada 2005

Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01924-1_11 ◽

2009 ◽

pp. 149-163 ◽

Cited By ~ 2

Author(s):

Sergio Sáez ◽

Silvia Terrasa ◽

Vicente Lorente ◽

Alfons Crespo

Keyword(s):

Reactive Systems ◽

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

Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems ◽

10.1007/1-4020-8149-9_30 ◽

2004 ◽

pp. 297-306

Author(s):

Uwe Glässer ◽

Mona Vajihollahi

Keyword(s):

Real Time ◽

Reactive Systems ◽

State Machines ◽

Abstract 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

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