Barragáns-Martínez A.B.
21
Coauthors
4
Documentos
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 2002 | 1 |
| 2004 | 1 |
| 2008 | 2 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Software | 4 |
| Ingeniería de software | 3 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 2 |
| Derecho privado | 2 |
| Funcionamiento de bibliotecas y archivos | 1 |
| Medicina y salud | 1 |
| Programación informática, programas, datos, seguridad | 1 |
| Dirección general | 1 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 4 |
| Google Scholar | 0 |
| RRAAE | 0 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| Redondo R.P.D. | 4 |
| José Pazos-Arias | 4 |
| GarcÍa-Duque J. | 4 |
| Vilas F. | 4 |
| Martín López-Nores | 2 |
| Blanco-FernÁndez Y. | 2 |
| Gill Solla A. | 1 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
Requirements specifications evolution in a multi-perspective environment
Conference ObjectAbstract: We adapt in this paper an analysis-revision cycle to the SCTL-MUS methodology to support the modificPalabras claves:Autores:Barragáns-Martínez A.B., GarcÍa-Duque J., José Pazos-Arias, Redondo R.P.D., Vilas F.Fuentes:scopusIncremental specification with SCTL/MUS-T: A case study
ArticleAbstract: The past decade witnessed a great advance in the field of timed formal methods for the specificationPalabras claves:Formal Methods, Iterative and incremental specification, Many-valued reasoning, Real-time systemsAutores:Barragáns-Martínez A.B., GarcÍa-Duque J., Gill Solla A., José Pazos-Arias, Redondo R.P.D., Vilas F.Fuentes:scopusComposing requirements specifications from multiple prioritized sources
ArticleAbstract: The formal methodology MultiSpec supports the evolution of software specifications gathered from mulPalabras claves:Incompleteness, inconsistency, prioritization, Requirements specification, ViewpointsAutores:Barragáns-Martínez A.B., Blanco-FernÁndez Y., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Redondo R.P.D., Vilas F.Fuentes:scopusOn the interplay between inconsistency and incompleteness in multi-perspective requirements specifications
ArticleAbstract: A major challenge for dealing with multi-perspective specifications, and more concretely, with mergiPalabras claves:inconsistency, Merging, Requirements specification, UNCERTAINTY, ViewpointsAutores:Barragáns-Martínez A.B., Blanco-FernÁndez Y., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Redondo R.P.D., Vilas F.Fuentes:scopus