AsmetaVis - Asmeta Visualizer
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10332074" target="_blank" >RIV/00216208:11320/16:10332074 - isvavai.cz</a>
Výsledek na webu
<a href="http://asmeta.sourceforge.net/download/asmetavis.html" target="_blank" >http://asmeta.sourceforge.net/download/asmetavis.html</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
AsmetaVis - Asmeta Visualizer
Popis výsledku v původním jazyce
The tool provides a visual notation for Abstract State Machines (ASMs). The basic visualization visualizes the structure of ASM transition rules is shown. The semantic visualization allows to visualize part of the behavior of the machine.
Název v anglickém jazyce
AsmetaVis - Asmeta Visualizer
Popis výsledku anglicky
The tool provides a visual notation for Abstract State Machines (ASMs). The basic visualization visualizes the structure of ASM transition rules is shown. The semantic visualization allows to visualize part of the behavior of the machine.
Klasifikace
Druh
R - Software
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2016
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Interní identifikační kód produktu
AsmetaVis
Technické parametry
Open source
Ekonomické parametry
Z principu nejsou k dispozici
IČO vlastníka výsledku
00216208
Název vlastníka
Paolo Arcaini