Mostrando 9 resultados de: 9
Filtros aplicados
Publisher
ACM International Conference Proceeding Series(1)
Electronic Communications of the EASST(1)
Fundamenta Informaticae(1)
Information and Software Technology(1)
Journal of Visual Languages and Computing(1)
Área temáticas
Programación informática, programas, datos, seguridad(6)
Lingüística(5)
Ciencias de la computación(3)
Actuaciones públicas(1)
Apologética y polémica(1)
Área de conocimiento
Ingeniería de software(2)
Artes visuales(1)
Comunicación(1)
Modelo matemático(1)
Teoría de la computación(1)
Origen
scopus(9)
A language-independent and formal approach to pattern-based modelling with support for composition and analysis
ArticleAbstract: Context: Patterns are used in different disciplines as a way to record expert knowledge for problemPalabras claves:Pattern composition, Pattern conflicts, Pattern formalization, Pattern-based modellingAutores: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: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:scopusFormalising interaction patterns
ArticleAbstract: The use of patterns as a way to refer to common solutions in the field of interface design is becomiPalabras claves:Autores:Bottoni P., Guerra E., Juan De LaraFuentes:scopusEnforced 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: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: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: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