GarcÍa-Duque J.
480
Coauthors
94
Documentos
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 1999 | 1 |
| 2001 | 1 |
| 2002 | 2 |
| 2003 | 2 |
| 2004 | 7 |
| 2005 | 6 |
| 2006 | 8 |
| 2007 | 5 |
| 2008 | 18 |
| 2009 | 10 |
| 2010 | 8 |
| 2011 | 6 |
| 2012 | 4 |
| 2013 | 3 |
| 2014 | 1 |
| 2015 | 5 |
| 2016 | 6 |
| 2017 | 1 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 39 |
| Software | 24 |
| Ingeniería de software | 17 |
| Comunicación | 13 |
| Inteligencia artificial | 12 |
| Tecnología educativa | 9 |
| Cuidado de la salud | 6 |
| Red informática | 5 |
| Marketing | 5 |
| Publicidad | 4 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 36 |
| Funcionamiento de bibliotecas y archivos | 25 |
| Métodos informáticos especiales | 18 |
| Comunicaciones | 16 |
| Escuelas y sus actividades; educación especial | 11 |
| Física aplicada | 11 |
| Medicina y salud | 9 |
| Publicidad y relaciones públicas | 9 |
| Programación informática, programas, datos, seguridad | 6 |
| Interacción social | 6 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 94 |
| Google Scholar | 3 |
| RRAAE | 0 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| José Pazos-Arias | 89 |
| Martín López-Nores | 76 |
| Solla A.G. | 48 |
| Vilas F. | 48 |
| Redondo R.P.D. | 47 |
| Blanco-FernÁndez Y. | 42 |
| Ramos-Cabrer M. | 37 |
| Vladimir Robles-Bykbaev | 12 |
| Cabrer M.R. | 8 |
| Rey-López M. | 7 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
SCTL-MUS: A formal methodology for software development of distributed systems. A case study
ArticleAbstract: This paper introduces an iterative model for the software development process of distributed systemsPalabras claves:Formal description techniques, Formal verification, Functional requirements, Incremental specification, Temporal logic, UnspecificationAutores:GarcÍa-Duque J., José Pazos-AriasFuentes:scopusAn analysis-revision cycle to evolve requirements specifications by using the SCTL-MUS methodology
Conference ObjectAbstract: The development of requirements specifications can be supported by a cycle composed of two phases: aPalabras claves:bridges, heart, Information analysis, Multivalued logic, TelematicsAutores:Barragáns-Martínez B., GarcÍa-Duque J., José Pazos-AriasFuentes:scopusEliciting requirements and scenarios using the SCTL-MUS methodology: The shuttle system case study
Conference ObjectAbstract: The development of complex systems demands methodologies that provide convenient support to the stakPalabras claves:incremental development, requirements, Scenarios, State machinesAutores:GarcÍa-Duque J., José Pazos-Arias, Martín López-NoresFuentes:scopusManaging ad-hoc networks through the formal specification of service requirements
Conference ObjectAbstract: Mobile ad-hoc networks (MANETs) are dynamic computing environments where it is hard to make pbkp_redPalabras claves:Autores:GarcÍa-Duque J., José Pazos-Arias, Martín López-NoresFuentes:scopusLocating crosscutting concerns in the formal specification of distributed reactive systems
Conference ObjectAbstract: Requirements specification is a stage of software development in which the different concerns involvPalabras claves:Aspects, Crosscutting concerns, incremental development, requirements, State machinesAutores:GarcÍa-Duque J., José Pazos-Arias, Martín López-NoresFuentes:scopus