Publicacions en què col·labora amb Elena Navarro Martínez (3)

2016

  1. A family of experiments to evaluate the understandability of TRiStar and i∗ for modeling teleo-reactive systems

    Journal of Systems and Software, Vol. 114, pp. 82-100

2015

  1. A controlled experiment to evaluate the understandability of KAOS and i∗ for modeling Teleo-Reactive systems

    Journal of Systems and Software, Vol. 100, pp. 1-14

  2. TRiStar: An i∗ extension for Teleo-Reactive systems requirements specifications

    Proceedings of the ACM Symposium on Applied Computing