论文信息 - Wykorzystanie pseudostanów historii do modelowania sytuacji awaryjnych w maszynie stanów UML - 字舞流文

Wykorzystanie pseudostanów historii do modelowania sytuacji awaryjnych w maszynie stanów UML

Marian Adamski | Grzegorz Bazydlo | Łukasz Stefanowicz

[1] Andrei Karatkevich,et al. Metody specyfikacji, syntezy i weryfikacji hierarchicznych diagramów stanów , 2006 .

[2] W. Gareth J. Howells,et al. A Model-Driven Development Approach to Mapping UML State Diagrams to Synthesizable VHDL , 2008, IEEE Transactions on Computers.

[3] Grzegorz Bazydlo. Synteza behawioralna sterowników rekonfigurowalnych na podstawie modelu maszyny stanowej UML , 2009 .

[4] Qing Li,et al. Unified Modeling Language , 2009 .

[5] Marian Adamski,et al. Specyfikacja hierarchicznej maszyny stanów UML 2.4 i jej automatyczna implementacja w języku Verilog , 2011 .