Publicacións nas que colabora con Ana Belén Barragáns Martínez (12)

2009

  1. What's on TV Tonight? An Efficient and Effective Personalized Recommender System of TV Programs

    IEEE Transactions on Consumer Electronics, Vol. 55, Núm. 1, pp. 286-294

  2. What's on TV tonight? an efficient and effective personalized recommender system of TV programs

    Digest of Technical Papers - IEEE International Conference on Consumer Electronics

2008

  1. Composing multi-perspective software requirements specifications

    International Journal of Software Engineering and Knowledge Engineering, Vol. 18, Núm. 1, pp. 119-153

  2. Composing requirements specifications from multiple prioritized sources

    Requirements Engineering, Vol. 13, Núm. 3, pp. 187-206

  3. On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications

    Information and Software Technology, Vol. 50, Núm. 4, pp. 296-321

2006

  1. An agile approach to support incremental development of requirements specifications

    Proceedings of the Australian Software Engineering Conference, ASWEC

2005

  1. AVATAR: A multi-agent TV recommender system using MHP applications

    Proceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05

  2. Multi-valued model checking in dense-time

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2004

  1. Incremental specification with SCTL/MUS-T: A case study

    Journal of Systems and Software, Vol. 70, Núm. 1-2, pp. 189-208

2002

  1. Requirements specifications evolution in a multi-perspective environment

    Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

2000

  1. Modelo de reutilización de requisitos funcionales utilizando técnicas formales

    Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000

  2. Verificación de requisitos de tiempo críticos sobre sistemas incompletos

    Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000