Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu – Mgr. Adrian Farmadin
Mgr. Adrian Farmadin
Bakalářská práce
Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu
Implementation of LaTeX Export Filter into Sequence Chart Studio
Anotace:
Sequence Chart Studio (SCStudio) je užívateľsky prívetivý kresliaci a verifikačný nástroj pre Message Sequence Charts (MSC). Hlavnou úlohou tejto práce je implementácia nového exportného filtra pre SCStudio. Nový exportný filter bude exportovať diagramy do formátu LaTeX použitím nového MSC LaTeX balíčka. Pred implementáciou nového exportného filtra MSC LaTeX balíček musel byť najprv rozšírený, aby …víceAbstract:
Sequence Chart Studio (SCStudio) is a user-friendly drawing and verification tool for Message Sequence Charts (MSC).The main task of this thesis is implementing new export filter in SCStudio. New export filter will convert diagrams to LaTeX format using new MSC LaTeX package. Before the implementation of new export filter the MSC LaTeX package first needed to be extended to support all shapes and shapes …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 17. 5. 2013
Identifikátor:
https://is.muni.cz/th/s4nl6/
Obhajoba závěrečné práce
- Obhajoba proběhla 20. 6. 2013
- Vedoucí: Mgr. Ľuboš Korenčiak
- Oponent: doc. Mgr. Jan Obdržálek, PhD.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
-
Převádění záznamů testů do podoby Message Sequence Chart popisů
Martin Vodila -
Time Extension of Message Sequence Chart
Ľuboš Korenčiak -
Probabilistic Extension of Message Sequence Chart
Martin Křivánek -
Message Sequence Chart Properties and Checking Algorithms
Jindřich Babica -
Refactoring of Sequence Chart Studio
Ondřej Bouda -
Realizability of Message Sequence Graphs
Martin Chmelík -
Layout Configuration for Message Sequence Charts
Milan Malota -
Effective Algorithms for Time Relation Checking in Message Sequence Charts
Ľuboš Korenčiak