Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{986577,
author = {Bezděka, Martin and Bouda, Ondřej and Korenčiak, Ľuboš and Madzin, Matúš and Řehák, Vojtěch},
address = {Los Allamitos, Califonia, USA},
booktitle = {2012 12th International Conference on Application of Concurrency to System Design},
doi = {http://dx.doi.org/10.1109/ACSD.2012.25},
editor = {Jens Brandt and Keijo Heljanko},
keywords = {message sequence charts; checkers; transformers; sequence chart drawing},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Los Allamitos, Califonia, USA},
isbn = {978-1-4673-1687-3},
pages = {148-153},
publisher = {IEEE Computer Society},
title = {Sequence Chart Studio},
year = {2012}
}
TY - JOUR
ID - 986577
AU - Bezděka, Martin - Bouda, Ondřej - Korenčiak, Ľuboš - Madzin, Matúš - Řehák, Vojtěch
PY - 2012
TI - Sequence Chart Studio
PB - IEEE Computer Society
CY - Los Allamitos, Califonia, USA
SN - 9781467316873
KW - message sequence charts
KW - checkers
KW - transformers
KW - sequence chart drawing
N2 - 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.
ER -
BEZDĚKA, Martin, Ondřej BOUDA, Ľuboš KORENČIAK, Matúš MADZIN a Vojtěch ŘEHÁK. Sequence Chart Studio. In Jens Brandt and Keijo Heljanko. \textit{2012 12th International Conference on Application of Concurrency to System Design}. Los Allamitos, Califonia, USA: IEEE Computer Society, 2012. s.~148-153. ISBN~978-1-4673-1687-3. doi:10.1109/ACSD.2012.25.
|
