Publicacions en què col·labora amb Ana Belén Barragáns Martínez (10)

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