Clariso R.
22
Coauthors
7
Documentos
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 2008 | 2 |
| 2010 | 3 |
| 2016 | 1 |
| 2017 | 1 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 7 |
| Ingeniería de software | 3 |
| Teoría de grafos | 2 |
| Optimización matemática | 2 |
| Modelo matemático | 1 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 5 |
| Programación informática, programas, datos, seguridad | 4 |
| Métodos informáticos especiales | 3 |
| Sistemas | 1 |
| Miscelánea filosófica | 1 |
| Funcionamiento de bibliotecas y archivos | 1 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 7 |
| Google Scholar | 0 |
| RRAAE | 0 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| Guerra E. | 7 |
| Juan De Lara | 7 |
| Cabot J. | 7 |
| Sánchez Cuadrado J.S. | 1 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
Backwards reasoning for model transformations: Method and applications
ArticleAbstract: Model transformations are key elements of model driven engineering. Current challenges for transformPalabras claves:Model transformation, OCL, Weakest pre-conditionAutores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopusAn 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:scopusA UML/OCL framework for the analysis of graph transformation rules
ArticleAbstract: In this paper we present an approach for the analysis of graph transformation rules based on an intePalabras claves:Domain specific visual languages, Graph transformation, Meta-Modelling, OCL, Verification and validationAutores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopusVerification and validation of declarative model-to-model transformations through invariants
ArticleAbstract: In this paper we propose a method to derive OCL invariants from declarative model-to-model transformPalabras claves:Model-driven development, Model-to-model transformation, OCL, QVT, Triple graph grammars, Verification and validationAutores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopus