https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692013-03-07T03:25:28ZOpen-Source ProjectsRetrascope - Task #3983: [efsm][docs] Описание алгоритма построения автоматовhttps://forge.ispras.ru/issues/3983?journal_id=154162013-03-07T03:25:28ZAlexander Kamkinaskamkin@gmail.com
<ul></ul><p>Есть предложение выложить описание алгоритма в wiki на суд общественности.</p> Retrascope - Task #3983: [efsm][docs] Описание алгоритма построения автоматовhttps://forge.ispras.ru/issues/3983?journal_id=154242013-03-07T11:45:40ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Open</i></li></ul> Retrascope - Task #3983: [efsm][docs] Описание алгоритма построения автоматовhttps://forge.ispras.ru/issues/3983?journal_id=160102013-04-20T15:12:24ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>% Done</strong> changed from <i>0</i> to <i>30</i></li></ul><p>Описание реализованной части алгоритма выложено в Wiki.</p> Retrascope - Task #3983: [efsm][docs] Описание алгоритма построения автоматовhttps://forge.ispras.ru/issues/3983?journal_id=191002014-04-04T10:10:59ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Priority</strong> changed from <i>Normal</i> to <i>High</i></li></ul><p>Добавить пример b04 - граф потока, извлеченные clocked guarded actions, переменные состояния, EFSM-модель.</p> Retrascope - Task #3983: [efsm][docs] Описание алгоритма построения автоматовhttps://forge.ispras.ru/issues/3983?journal_id=193582014-04-30T05:24:05ZAlexander Kamkinaskamkin@gmail.com
<ul><li><strong>Subject</strong> changed from <i>Описание алгоритма построения автоматов</i> to <i>[efsm][docs] Описание алгоритма построения автоматов</i></li><li><strong>Target version</strong> set to <i>0.1</i></li></ul> Retrascope - Task #3983: [efsm][docs] Описание алгоритма построения автоматовhttps://forge.ispras.ru/issues/3983?journal_id=204862014-09-03T14:01:57ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Open</i> to <i>Resolved</i></li><li><strong>% Done</strong> changed from <i>30</i> to <i>100</i></li></ul><p>Алгоритм построения автоматов описан в svn-репозитории hvs(к имеющемуся добавил алгоритм построения GADD-диаграмм):</p>
<p>articles/2014/2014-efsm-extraction/2014-efsm-extraction.doc</p> Retrascope - Task #3983: [efsm][docs] Описание алгоритма построения автоматовhttps://forge.ispras.ru/issues/3983?journal_id=206512014-09-18T07:51:39ZAlexander Kamkinaskamkin@gmail.com
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul>