Mostrando 6 resultados de: 6
Filtros aplicados
Publisher
Electronic Communications of the EASST(2)
Proceedings - IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2007(1)
Software and Systems Modeling(1)
Visual Languages for Interactive Computing: Definitions and Formalizations(1)
Webist 2007 - 3rd International Conference on Web Information Systems and Technologies, Proceedings(1)
Área temáticas
Ciencias de la computación(2)
Lingüística(2)
Programación informática, programas, datos, seguridad(2)
Artes(1)
Derecho privado(1)
Área de conocimiento
Ciencias de la computación(6)
Ingeniería de software(3)
Artes visuales(1)
Teoría de grafos(1)
Origen
scopus(6)
Action patterns for the incremental specification of the execution semantics of visual languages
Conference ObjectAbstract: We present a new approach - based on graph transformation - to incremental specification of the operPalabras claves:Graph transformation, Meta-Modelling, Operational semantics, Visual languagesAutores:Bottoni P., Guerra E., Juan De LaraFuentes:scopusAdding recursion to graph transformation
Conference ObjectAbstract: In this paper we define recursive rules in the double pushout approach (DPO) to graph transformationPalabras claves:Double Pushout, Graph transformation, RecursionAutores:Guerra E., Juan De LaraFuentes:scopusEvent-driven grammars: Relating abstract and concrete levels of visual languages
Conference ObjectAbstract: In this work we introduce event-driven grammars, a kind of graph grammars that are especially suitedPalabras claves:Consistency, Graph Grammars, Meta-Modelling, Triple graph transformation, UML, Visual languagesAutores:Guerra E., Juan De LaraFuentes:scopusMeta-modelling and graph transformation for the definition of multi-view visual languages
Book PartAbstract: In this chapter, we present our approach for the definition of multi-view visual languages (MVVLs).Palabras claves:Autores:Guerra E., Juan De LaraFuentes:scopusModel driven development of digital libraries-Validation, analysis and code generation
Conference ObjectAbstract: This paper shows our model-driven approach for the formal construction and validation of Digital LibPalabras claves:Digital library, Formal Methods, Graph transformation, Meta-Modelling, Model driven developmentAutores:Guerra E., Juan De Lara, Malizia A.Fuentes:scopusTriple patterns: Compact specifications for the generation of operational triple Graph Grammar Rules
Conference ObjectAbstract: Triple Graph Grammars (TGGs) allow the specification of high-level rules modelling the synchronizedPalabras claves:Graph transformation, Triple graph grammars, Visual languagesAutores:Bottoni P., Guerra E., Juan De LaraFuentes:scopus