Cabot J.
66
Coauthors
14
Documentos
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 2008 | 2 |
| 2010 | 4 |
| 2013 | 2 |
| 2016 | 2 |
| 2017 | 2 |
| 2020 | 2 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 9 |
| Ingeniería de software | 6 |
| Teoría de grafos | 3 |
| Optimización matemática | 3 |
| Software | 2 |
| Modelo matemático | 1 |
| Energía | 1 |
| Sistema de control | 1 |
| Inteligencia artificial | 1 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 9 |
| Programación informática, programas, datos, seguridad | 7 |
| Métodos informáticos especiales | 4 |
| Física aplicada | 2 |
| Biblioteconomía y Documentación informatica | 1 |
| Sistemas | 1 |
| Interacción social | 1 |
| Dirección general | 1 |
| Otras ramas de la ingeniería | 1 |
| Miscelánea filosófica | 1 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 14 |
| Google Scholar | 0 |
| RRAAE | 0 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| Juan De Lara | 14 |
| Guerra E. | 11 |
| Clariso R. | 7 |
| Kolovos D.S. | 3 |
| Tisi M. | 2 |
| Sanchez-Cuadrado J. | 2 |
| Sánchez Cuadrado J.S. | 2 |
| Gómez A. | 2 |
| Bergmann G. | 2 |
| Garmendia A. | 2 |
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