Ana Belén Barragáns-Martínez

2008
21	EE	Ana Belén Barragáns-Martínez, José J. Pazos Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández: On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications. Information & Software Technology 50(4): 296-321 (2008)
20	EE	Ana Belén Barragáns-Martínez, José J. Pazos Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández: Composing Multi-Perspective Software Requirements Specifications. International Journal of Software Engineering and Knowledge Engineering 18(1): 119-153 (2008)
19	EE	Ana Belén Barragáns-Martínez, José J. Pazos Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández: Composing requirements specifications from multiple prioritized sources. Requir. Eng. 13(3): 187-206 (2008)
2006
18	EE	Martín López Nores, José J. Pazos Arias, Jorge García Duque, Ana Belén Barragáns-Martínez: An Agile Approach to Support Incremental Development of Requirements Specifications. ASWEC 2006: 9-18
2005
17	EE	Ana Belén Barragáns-Martínez, José J. Pazos Arias, Ana Fernández Vilas: Merging Requirements Views with Incompleteness and Inconsistency. Australian Software Engineering Conference 2005: 58-67
16	EE	Ana Fernández Vilas, José J. Pazos Arias, Ana Belén Barragáns-Martínez, Martín López Nores, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Jorge García Duque, Manuel Ramos Cabrer: Multi-valued Model Checking in Dense-Time. ECSQARU 2005: 638-649
15	EE	Andrés Elexpuru Eguia, Martín López Nores, Yolanda Blanco-Fernández, José J. Pazos Arias, Ana Belén Barragáns-Martínez, Jorge García Duque, Alberto Gil-Solla, Manuel Ramos Cabrer: Collaborative T-learning: Bringing Greater Levels of Interactivity into the Home. EEE 2005: 588-591
14	EE	Yolanda Blanco-Fernández, José J. Pazos Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Martín López Nores, Ana Belén Barragáns-Martínez: AVATAR: A Multi-Agent TV Recommender System using MHP Applications. EEE 2005: 660-665
13	EE	Martín López Nores, José J. Pazos Arias, Jorge García Duque, Ana Belén Barragáns-Martínez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer: Tracing Integration Analysis in Component-Based Formal Specifications. FMOODS 2005: 147-162
12	EE	Yolanda Blanco-Fernández, José J. Pazos Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Martín López Nores, Ana Belén Barragáns-Martínez: AVATAR: an approach based on semantic reasoning to recommend personalized TV programs. WWW (Special interest tracks and posters) 2005: 1078-1079
2004
11	EE	Ana Belén Barragáns-Martínez, José J. Pazos Arias: chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications. ICSE 2004: 72-74
10	EE	Rebeca P. Díaz Redondo, Martín López Nores, José J. Pazos Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla, Ana Belén Barragáns-Martínez, Manuel Ramos Cabrer: Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage. ICSR 2004: 1-10
9	EE	Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José J. Pazos Arias, Alberto Gil-Solla, Jorge García Duque, Ana Belén Barragáns-Martínez, Manuel Ramos Cabrer: Technologies to Support Collaborative Learning over the Multimedia Home Platform. ICWL 2004: 83-90
8	EE	Yolanda Blanco-Fernández, José J. Pazos Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Ana Belén Barragáns-Martínez, Martín López Nores, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo: AVATAR: An Advanced Multi-agent Recommender System of Personalized TV Contents by Semantic Reasoning. WISE 2004: 415-421
7	EE	Ana Fernández Vilas, José J. Pazos Arias, Alberto Gil-Solla, Rebeca P. Díaz Redondo, Jorge García Duque, Ana Belén Barragáns-Martínez: Incremental specification with SCTL/MUS-T: a case study. Journal of Systems and Software 70(1-2): 189-208 (2004)
2002
6	EE	Ana Belén Barragáns-Martínez, Jorge García Duque, José J. Pazos Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo: Requirements Specifications Evolution in a Multi-Perspective Environment. COMPSAC 2002: 39-46
5	EE	Ana Fernández Vilas, José J. Pazos Arias, Rebeca P. Díaz Redondo, Ana Belén Barragáns-Martínez: Formalizing Incremental Design in Real-time Area: SCTL/MUS-T. COMPSAC 2002: 659-666
4	EE	Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez: Approximate Retrieval of Incomplete and Formal Specifications Applied to Horizontal Reuse. EUROMICRO 2002: 90-97
3	EE	Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez: Approximate Retrieval of Incomplete and Formal Specifications Applied to Vertical Reuse. ICSM 2002: 618-627
2	EE	Jorge García Duque, José J. Pazos Arias, Ana Belén Barragáns-Martínez: An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology. RE 2002: 282-288
1	EE	Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez: ARIFS: an Environment for Incomplete and Formal Specifications. Electr. Notes Theor. Comput. Sci. 66(4): (2002)

Coauthor Index

1	José J. Pazos Arias	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21]
2	Yolanda Blanco-Fernández	[8] [9] [12] [14] [15] [19] [20] [21]
3	Manuel Ramos Cabrer	[8] [9] [10] [12] [13] [14] [15] [16]
4	Jorge García Duque	[2] [6] [7] [8] [9] [10] [13] [15] [16] [18] [19] [20] [21]
5	Andrés Elexpuru Eguia	[15]
6	Alberto Gil-Solla	[7] [8] [9] [10] [12] [13] [14] [15] [16]
7	Martín López Nores	[8] [9] [10] [12] [13] [14] [15] [16] [18] [19] [20] [21]
8	Rebeca P. Díaz Redondo	[1] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [16] [19] [20] [21]
9	Ana Fernández Vilas	[1] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [16] [17] [19] [20] [21]