Sequence Chart Studio (2012)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/12:00057472 |
|---|---|
| Název v anglickém jazyce | Sequence Chart Studio |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2012 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 2 |
| Počet tvůrců celkem | 5 |
| Počet domácích tvůrců | 5 |
| Výčet všech uvedených jednotlivých tvůrců | Martin Bezděka (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2988798) Ondřej Bouda (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2495724) Ľuboš Korenčiak (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A, vedidk: 3651576) Matúš Madzin (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A, vedidk: 8106746) Vojtěch Řehák (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 8986371) |
| Popis výsledku v anglickém jazyce | The Sequence Chart Studio (SCStudio) is a user-friendly drawing and verification tool for Message Sequence Charts (MSC). SCStudio supports several checkers that are able to verify properties such as realizability, time consistency, equivalence checking between two MSC diagrams, etc. Some of them are well known, while others are new or non-trivial extensions of existing ones. The graphical front-end is implemented as a Microsoft Visio add-on, whereas the checkers are platform independent. SCStudio is anopen source project that provides an open interface for additional modules. |
| Klíčová slova oddělená středníkem | message sequence charts; checkers; transformers; sequence chart drawing |
| Stránka www, na které se nachází výsledek | - |
| DOI výsledku | 10.1109/ACSD.2012.25 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | 2012 12th International Conference on Application of Concurrency to System Design |
|---|---|
| ISBN | 9781467316873 |
| ISSN | 1550-4808 |
| Počet stran výsledku | 6 |
| Strana od-do | 148-153 |
| Název nakladatele | IEEE Computer Society |
| Místo vydání | Los Allamitos, Califonia, USA |
| Místo konání akce | Hamburg, Germany |
| Datum konání akce | 2012 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | GA0 - Grantová agentura České republiky (GA ČR) |
| Rok sběru | 2013 |
| Specifikace | RIV/00216224:14330/12:00057472!RIV13-GA0-14330___ |
| Datum poslední aktualizace výsledku | 04.09.2013 |
| Kontrolní číslo | 43536052 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno MŠMT v roce 2013 | RIV/00216224:14330/12:00057472 v dodávce dat RIV13-MSM-14330___/02:2 |
|---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný GA ČR v programu GP | GPP202/12/P612 - Formální verifikace stochastických systémů s reálným časem (2012 - 2014) |
|---|---|
| Podpora / návaznosti | Institucionální podpora na rozvoj výzkumné organizace Specifický výzkum na vysokých školách, poskytovatel MŠMT |