Gómez-Martínez E.
15
Coauthors
5
Documentos
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 2019 | 2 |
| 2020 | 1 |
| 2022 | 1 |
| 2023 | 1 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 3 |
| Ingeniería de software | 2 |
| Simulación por computadora | 1 |
| Sistema de control | 1 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 5 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 5 |
| Google Scholar | 0 |
| RRAAE | 0 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| Juan De Lara | 5 |
| Guerra E. | 4 |
| Garmendia A. | 2 |
| Wimmer M. | 1 |
| Pérez-Blanco F. | 1 |
| Marcos E. | 1 |
| Vara J.M. | 1 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
Analysing Product Lines of Concurrent Systems with Coloured Petri Nets
Conference ObjectAbstract: Petri nets are a popular formalism to model and analyse concurrent systems. They can be combined witPalabras claves:Autores:Gómez-Martínez E., Guerra E., Juan De LaraFuentes:scopusTowards extensible structural analysis of petri net product lines
Conference ObjectAbstract: In order to represent the behaviour of a (potentially large) set of concurrent systems, we propose aPalabras claves:model-driven engineering, Petri nets, Product LinesAutores:Gómez-Martínez E., Guerra E., Juan De LaraFuentes:scopusLifted structural invariant analysis of Petri net product lines
ArticleAbstract: Petri nets are commonly used to represent concurrent systems. However, they lack support for modelliPalabras claves:Constraint Solving, Petri nets, Software product lines, Structural invariant analysisAutores:Garmendia A., Gómez-Martínez E., Guerra E., Juan De LaraFuentes:scopusAutomated variability injection for graphical modelling languages
Conference ObjectAbstract: Model-based development approaches, such as Model-Driven Engineering (MDE), heavily rely on the usePalabras claves:EMF, graphical modelling language, Meta-Modelling, model-driven engineering, Product LinesAutores:Garmendia A., Gómez-Martínez E., Guerra E., Juan De Lara, Wimmer M.Fuentes:scopusFormal support of process chain networks using model-driven engineering and petri nets
Conference ObjectAbstract: Business process modelling is an essential activity for competitive enterprises, as it enables documPalabras claves:ATL, Business process model, Model Transformations, model-driven engineering, Petri nets, Process chain networkAutores:Gómez-Martínez E., Juan De Lara, Marcos E., Pérez-Blanco F., Vara J.M.Fuentes:scopus