|
Search the dblp DataBase
Ana Belén Barragáns-Martínez:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ana Belén Barragáns-Martínez, José J. Pazos Arias, Ana Fernández Vilas
Merging Requirements Views with Incompleteness and Inconsistency. [Citation Graph (0, 0)][DBLP] Australian Software Engineering Conference, 2005, pp:58-67 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ASWEC, 2006, pp:9-18 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] COMPSAC, 2002, pp:39-46 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] COMPSAC, 2002, pp:659-666 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ECSQARU, 2005, pp:638-649 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] EEE, 2005, pp:660-665 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] EEE, 2005, pp:588-591 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] EUROMICRO, 2002, pp:90-97 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] FMOODS, 2005, pp:147-162 [Conf]
- Ana Belén Barragáns-Martínez, José J. Pazos Arias
chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications. [Citation Graph (0, 0)][DBLP] ICSE, 2004, pp:72-74 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICSM, 2002, pp:618-627 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICSR, 2004, pp:1-10 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICWL, 2004, pp:83-90 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] RE, 2002, pp:282-288 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] WISE, 2004, pp:415-421 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] WWW (Special interest tracks and posters), 2005, pp:1078-1079 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 2004, v:70, n:1-2, pp:189-208 [Journal]
Search in 0.002secs, Finished in 0.308secs
|