Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu – Mgr. Adrian Farmadin
Mgr. Adrian Farmadin
Bachelor's thesis
Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu
Implementation of LaTeX Export Filter into Sequence Chart Studio
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 17. 5. 2013
Identifier:
https://is.muni.cz/th/s4nl6/
Thesis defence
- Date of defence: 20. 6. 2013
- Supervisor: Mgr. Ľuboš Korenčiak
- Reader: doc. Mgr. Jan Obdržálek, PhD.
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
-
Převádění záznamů testů do podoby Message Sequence Chart popisů
Martin Vodila -
Message Sequence Chart Properties and Checking Algorithms
Jindřich Babica -
Time Extension of Message Sequence Chart
Ľuboš Korenčiak -
Probabilistic Extension of Message Sequence Chart
Martin Křivánek -
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