DATESO 2012 DATESO 2012, the twelfth annual international workshop on current trends in MATFYZPRESS publishing house Databases, Information Retrieval, Specifications and Object Oriented Programming, was held on 18th - 20th April, 2012 in Žernov, Rovensko pod Troskami, Czech Republic. Faculty of Mathematics and Physics Charles University in Prague The DATESO workshops aim for strengthening connections between abovementioned areas of Computer Science. The volume contains 11 full papers and 3 posters. DATESO 2012 Databases Texts Specifications Objects th Proceedings of the 12 annual workshop Jaroslav Pokorný Václav Snášel Karel Richta (Eds.) Charles University in Prague, MFF, Department of Software Engineering VŠB - Technical University of Ostrava, Department of Computer Science Czech Technical University in Prague, FEE, Department of Computer Science Czech Society for Cybernetics and Informatics (CSKI) ISBN 978-80-7378-171-2 Žernov, Rovensko pod Troskami, April 2012