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

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

2005

  1. Merging requirements views with incompleteness and inconsistency

    Proceedings of the Australian Software Engineering Conference, ASWEC

  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. Approximate retrieval of incomplete and formal specifications applied to vertical reuse

    Conference on Software Maintenance

  2. Formalizing incremental design in real-time area: SCTL/MUS-T

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

  3. 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