Charles University in Prague, MFF, Department of Software Engineering Czech Technical University in Prague, FIT, Dept. of Software Engineering VSB{TUˇ Ostrava, FEECS, Department of Computer Science Czech Society for Cybernetics and Informatics Proceedings of the Dateso 2015 Workshop Databases, Texts Specifications, and Objects 2015 http://www.cs.vsb.cz/dateso/2015/ http://www.ceur-ws.org/Vol-1343/ April 14 { 16, 2015 Nepˇr´ıvˇecu Sobotky, Jiˇc´ın,Czech Republic DATESO 2015 c M. Neˇcask´y,J. Pokorn´y,P. Moravec, editors This work is subject to copyright. All rights reserved. Reproduction or publication of this material, even partial, is allowed only with the editors' permission. Technical editor: Pavel Moravec,
[email protected] VSBˇ { Technical University of Ostrava Faculty of Electrical Engineering and Computer Science Department of Computer Science Page count: 141 Edition: 1st First published: 2015 This proceedings was typeset by PDFLATEX. Cover design by Pavel Moravec (
[email protected]) and Tom´aˇsSkopal. Originally published under ISBN 978-80-7378-285-6 by MATFYZPRESS publishing house of Faculty of Mathematics and Physics, Charles University, Sokolovsk´a83, 186 75 Praha 8 { Karl´ın,Czech Republic as its 479th publication. Steering Committee V´aclav Sn´aˇsel VSB-Technicalˇ University of Ostrava, Ostrava Karel Richta Czech Technical University, Prague Jaroslav Pokorn´y Charles University, Prague Program Committee Martin Neˇcask´y(chair) Charles University, Prague Wolfgang Benn Technische Universit¨atChemnitz, Chemnitz, Germany V´aclav Sn´aˇsel VSB-Technicalˇ University of Ostrava, Ostrava Jaroslav Pokorn´y Charles University, Prague Karel Richta Czech Technical University, Prague Michal Valenta Czech Technical University, Prague Vojtˇech Sv´atek University of Economics, Prague Peter Vojt´aˇs Charles University, Prague DuˇsanH´usek Inst.