Mostrando 10 resultados de: 11
Publisher
ACM International Conference Proceeding Series(1)
CEUR Workshop Proceedings(1)
Electronic Communications of the EASST(1)
Fundamenta Informaticae(1)
Information and Software Technology(1)
Área temáticas
Programación informática, programas, datos, seguridad(7)
Lingüística(5)
Ciencias de la computación(4)
Métodos informáticos especiales(2)
Actuaciones públicas(1)
Área de conocimiento
Ciencias de la computación(9)
Ingeniería de software(3)
Artes visuales(1)
Comunicación(1)
Modelo matemático(1)
Origen
scopus(11)
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:scopusMetamodel-based definition of interaction with visual environments
Conference ObjectAbstract: Metamodel approaches to building visual environments are becoming common in the field of domain specPalabras claves:design, human factors, theoryAutores: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: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:scopus