License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.SLATE.2016.15
URN: urn:nbn:de:0030-drops-60209
URL: https://drops.dagstuhl.de/opus/volltexte/2016/6020/
Go to the corresponding OASIcs Volume Portal

Ferreira, Miguel ; Moreira, Nelma ; Reis, Rogério

Automata Serialization for Manipulation and Drawing

pdf-format:
OASIcs-SLATE-2016-15.pdf (1 MB)

Abstract

GUItar is a GPL-licensed, cross-platform, graphical user interface for automata drawing and manipulation, written in C++ and Qt5. This tool offers support for styling, automatic layouts, several format exports and interface with any foreign finite automata manipulation library that can parse the serialized XML or JSON produced. In this paper we describe a new redesign of the GUItar framework and specially the method used to interface GUItar with automata manipulation libraries.

BibTeX - Entry

@InProceedings{ferreira_et_al:OASIcs:2016:6020,
  author =	{Miguel Ferreira and Nelma Moreira and Rog{\'e}rio Reis},
  title =	{{Automata Serialization for Manipulation and Drawing}},
  booktitle =	{5th Symposium on Languages, Applications and Technologies (SLATE'16)},
  pages =	{15:1--15:7},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-006-4},
  ISSN =	{2190-6807},
  year =	{2016},
  volume =	{51},
  editor =	{Marjan Mernik and Jos{\'e} Paulo Leal and Hugo Gon{\c{c}}alo Oliveira},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2016/6020},
  URN =		{urn:nbn:de:0030-drops-60209},
  doi =		{10.4230/OASIcs.SLATE.2016.15},
  annote =	{Keywords: automata, serialization, visualization}
}

Keywords: automata, serialization, visualization
Collection: 5th Symposium on Languages, Applications and Technologies (SLATE'16)
Issue Date: 2016
Date of publication: 21.06.2016

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI