González A.
12
Coauthors
3
Documentos
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 2007 | 1 |
| 2011 | 2 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Ingeniería de software | 2 |
| Ciencias de la computación | 1 |
| Software | 1 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 3 |
| Economía financiera | 1 |
| Física aplicada | 1 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 3 |
| Google Scholar | 1 |
| RRAAE | 0 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| Pérez M.A. | 3 |
| Luis Eduardo Mendoza Morales | 3 |
| Tuñón M.I.C. | 2 |
| Grimánk A. | 1 |
| Mijares M. | 1 |
| Mendez E. | 1 |
| Domínguez K. | 1 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
Implementing a transformation from BPMN to CSP+T with ATL: Lessons learnt
Conference ObjectAbstract: Among the challenges to face in order to promote the use of techniques of formal verification in orgPalabras claves:Autores:González A., Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopusAnalysis of characteristics (preselection mode) to evaluate components platforms
Conference ObjectAbstract:Palabras claves:Autores:González A., Grimánk A., Luis Eduardo Mendoza Morales, Mijares M., Pérez M.A.Fuentes:scopusBTRANSFORMER: A tool for BPMN to CSP+T transformation
Conference ObjectAbstract: In any organisation, properties such as scope, structure, deployment, capability, structural consistPalabras claves:Business process modelling language, Formal software specification, Model transformation languages, Process calculus, Transformation toolAutores:Domínguez K., González A., Luis Eduardo Mendoza Morales, Mendez E., Pérez M.A., Tuñón M.I.C.Fuentes:scopus