| Údaje o výsledku |
| Identifikační kód | RIV/00216224:14330/12:00057472 |
| Název v původním jazyce | Sequence Chart Studio |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor | IN - Informatika |
| Rok uplatnění | 2012 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů |
| Počet výskytů výsledku | 2 |
| Údaje z Hodnocení výsledků výzkumných organizací 2014 |
| Výsledek byl hodnocen v Pilíři I |
| Rozsah vyřazení výsledku | Tento výskyt výsledku není vyřazen |
| Zařazení výsledku v hodnocení | D - Článek ve sborníku |
| Skupina oboru v hodnocení | 04 - Technické a informatické vědy |
| Konkrétní způsob(y) hodnocení výsledku | Výsledek hodnocený již v předchozím hodnocení, body se přebírají |
| Bodové ohodnocení | 8,000 |
| Faktor korekce | 77,6 % |
| Body (upravené podle přílohy č. 8 Metodiky) | 6,205 |
| Rozdělení výsledku mezi předkladatele |
| Organizace | Výzkumná organizace? | Podíl | Body | Body (upravené podle přílohy č. 8 Metodiky) |
|---|
| Masarykova univerzita / Fakulta informatiky | ano | 100,0 % | 8,000 | 6,205 |
|
| Tvůrci výsledku |
| Počet tvůrců celkem | 5 |
| Počet domácích tvůrců | 5 |
| Tvůrce | Bezděka Martin (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 2988798) |
| Tvůrce | Bouda Ondřej (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 2495724) |
| Tvůrce | Korenčiak Ľuboš (státní příslušnost: SK - Slovenská republika; A - domácí tvůrce; vedidk: 3651576) |
| Tvůrce | Madzin Matúš (státní příslušnost: SK - Slovenská republika; A - domácí tvůrce; vedidk: 8106746) |
| Tvůrce | Řehák Vojtěch (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku; vedidk: 8986371) |
| Údaje blíže specifikující výsledek |
| Popis v původní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 an open source project that provides an open interface for additional modules. |
| Klíčová slova | message sequence charts; checkers; transformers; sequence chart drawing |
| Název sborníku | 2012 12th International Conference on Application of Concurrency to System Design |
| Rozsah stran | 148-153 |
| Forma vydání | P - Tištěná verze „print“ |
| ISSN | 1550-4808 |
| ISBN | 9781467316873 |
| Počet stran výsledku | 6 |
| Název nakladatele | IEEE Computer Society |
| Místo vydání | Los Allamitos, Califonia, USA |
| Místo konání akce | Hamburg, Germany |
| Rok konání akce | 2012 |
| Typ akce podle státní příslušnoti účastníků | WRD - Světová |
| DOI výsledku | 10.1109/ACSD.2012.25 |
| Údaje o tomto záznamu o výsledku |
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2013 |
| Systémové označení dodávky dat | RIV13-MSM-14330___/02:2 |
| Specifikace | RIV/00216224:14330/12:00057472!RIV13-MSM-14330___ |
| Kontrolní kód | [3816AC166080] |
| Další výskyty tohoto výsledku od stejného předkladatele |
| Dodáno GA ČR v roce 2013 | Záznam s identifikačním kódem RIV/00216224:14330/12:00057472 v dodávce dat RIV13-GA0-14330___/02:2 |
| Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl |
| Projekt | GPP202/12/P612 - Formální verifikace stochastických systémů s reálným časem (2012-2014, GA0/GP) |
| S - Specifický výzkum na vysokých školách |
| I - Instit. podpora na rozvoj výzkumné organizace |