Mostrando 9 resultados de: 9
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(4)
Journal of Visual Languages and Computing(2)
Electronic Notes in Theoretical Computer Science(1)
Lecture Notes in Business Information Processing(1)
Model-Driven Software Development: Integrating Quality Assurance(1)
Área temáticas
Ciencias de la computación(4)
Programación informática, programas, datos, seguridad(4)
Métodos informáticos especiales(2)
Artes(1)
Funcionamiento de bibliotecas y archivos(1)
Área de conocimiento
Ciencias de la computación(8)
Ingeniería de software(3)
Algoritmo(1)
Artes visuales(1)
Teoría de grafos(1)
Origen
scopus(9)
An invariant-based method for the analysis of declarative model-to-model transformations
Conference ObjectAbstract: In this paper we propose a method to derive OCL invariants from declarative specifications of model-Palabras claves:Autores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopusAnalysing graph transformation rules through OCL
Conference ObjectAbstract: In this paper we present an approach to the analysis of graph transformation rules based on an interPalabras claves:Autores:Cabot J., Clariso R., 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:scopusDomain specific languages with graphical and textual views
Conference ObjectAbstract: We show our approach for the definition of Domain Specific Languages integrating both graphical andPalabras claves:Autores:Guerra E., Juan De Lara, Pérez Andrés F.Fuentes:scopusIntegrating measures and redesigns in the definition of Domain Specific Visual Languages
Book PartAbstract: The goal of this work is to facilitate the task of integrating measurement and redesign tools in modPalabras claves:Autores:Díaz P., Guerra E., Juan De LaraFuentes:scopusModel driven formal development of digital libraries
Conference ObjectAbstract: This paper shows our model-driven approach for the formal construction and validation of Digital LibPalabras claves:Digital libraries, Formal Methods, Graph transformation, Meta-Modelling, Model driven developmentAutores:Guerra E., Juan De Lara, Malizia A.Fuentes:scopusPattern-based model-to-model transformation
Conference ObjectAbstract: We present a new, high-level approach for the specification of model-to-model transformations basedPalabras claves:Autores:Guerra E., Juan De LaraFuentes:scopusVisual Specification of Metrics for Domain Specific Visual Languages
ArticleAbstract: We present a Domain Specific Visual Language (DSVL) for the definition of metrics for other DSVLs. TPalabras claves:Code generation, Domain specific visual languages, Graph Patterns, Meta-Modelling, METRICSAutores:Díaz P., Guerra E., Juan De LaraFuentes:scopusVisual specification of measurements and redesigns for domain specific visual languages
ArticleAbstract: Ensuring model quality is a key success factor in many computer science areas, and becomes crucial iPalabras claves:Domain specific visual language, Graph transformation, Graphical pattern, Measurement, Meta-Modelling, redesignAutores:Díaz P., Guerra E., Juan De LaraFuentes:scopus