User Tools

Site Tools


research

This is an old revision of the document!


A PCRE internal error occured. This might be caused by a faulty plugin

===== Research topics ===== === Executable UML modeling === * Projects: * [[http://txtuml.inf.elte.hu|txtUML]]: textual, executable, translatable UML * [[http://modelexecution.eltesoft.hu|Model Executor]] * Selected paper: * Balázs Gregorics, Tibor Gregorics, Gábor Ferenc Kovács, András Dobreff, and Gergely Dévai: Textual Diagram Layout Language and Visualization Algorithm, In proceedings of [[http://www.modelsconference.org/|MODELS 2015]]. === Domain-specific languages & language embedding === * Project: [[http://feldspar.inf.elte.hu/|Feldspar]] * Selected papers: * Emil Axelsson, Koen Claessen, Gergely Dévai, Zoltán Horváth, Karin Keijzer, Bo Lyckegard, Anders Persson, Mary Sheeran, Josef Svenningsson and András Vajda: [[http://feldspar.inf.elte.hu/publications/FeldsparMEMOCODE2010.pdf|Feldspar: A Domain Specific Language for Digital Signal Processing algorithms]], [[http://www-memocode2010.imag.fr/|MEMOCODE 2010]]: International Conference on Formal Methods and Models for Codesign, Grenoble, France, 2010. * Gergely Dévai, Dániel Leskó, Máté Tejfel: [[http://link.springer.com/chapter/10.1007/978-3-662-44920-2_9|Language Design and Implementation via the Combination of Embedding and Parsing]], Software Technologies, Springer, 2014. === Formal software verification ===

research.1443824381.txt.gz · Last modified: 2015/10/03 00:19 by deva