Mostrando 7 resultados de: 7
Publisher
ACM International Conference Proceeding Series(1)
Fundamenta Informaticae(1)
Journal of Visual Languages and Computing(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Proceedings - 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010(1)
Área temáticas
Lingüística(3)
Métodos informáticos especiales(2)
Apologética y polémica(1)
Artes(1)
Derecho privado(1)
Área de conocimiento
Ciencias de la computación(6)
Ingeniería de software(3)
Artes visuales(1)
Modelo matemático(1)
Software(1)
Objetivos de Desarrollo Sostenible
ODS 4: Educación de calidad(7)
ODS 9: Industria, innovación e infraestructura(7)
ODS 17: Alianzas para lograr los objetivos(6)
ODS 8: Trabajo decente y crecimiento económico(1)
Origen
scopus(7)
Enforced generative patterns for the specification of the syntax and semantics of visual languages
ArticleAbstract: We present the new notion of enforced generative pattern, a structure that declares positive or negaPalabras claves:Graph constraints, Graph transformation, Meta-Modelling, Patterns, Specification of semantics, Triple graph grammars, Visual languagesAutores:Bottoni P., Guerra E., Juan De LaraFuentes:scopusFormal foundation for pattern-based modelling
Conference ObjectAbstract: We present a new visual and formal approach to the specification of patterns, supporting pattern anaPalabras claves:Autores:Bottoni P., Guerra E., Juan De LaraFuentes:scopusFormalising design and interaction patterns and their relationships
Conference ObjectAbstract: We exploit a recent, domain-independent, formalisation of patterns to specify the solution componentPalabras claves:category theory, Interaction patternsAutores:Bottoni P., Guerra E., Juan De LaraFuentes:scopusAction 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:scopusPattern-based Rewriting through Abstraction
ArticleAbstract: Model-based development relies on models in different phases for different purposes, with modellingPalabras claves:category theory, Graph transformation, GRAPHS, Model-based development, Modelling patterns, Pattern variants, Refactorings, treesAutores:Bottoni P., Guerra E., Juan De LaraFuentes:scopusModular Language Product Lines A Graph Transformation Approach
Conference ObjectAbstract: Modelling languages are intensively used in paradigms like model-driven engineering to automate allPalabras claves:Graph transformation, model-driven engineering, Product Lines, software language engineeringAutores:Bottoni P., Guerra E., Juan De LaraFuentes:scopusTowards a formal notion of interaction pattern
Conference ObjectAbstract: While interaction patterns are becoming widespread in the field of interface design, their definitioPalabras claves:Autores:Bottoni P., Guerra E., Juan De LaraFuentes:scopus