
- RIUMA Principal
- Listar por autor
Listar por autor "Espada Sandi, Ana Rosario"
Mostrando ítems 1-2 de 2
-
A formal approach to automatically analyse extra-functionalproperties in mobile applications.
Espada Sandi, Ana Rosario; Gallardo-Melgarejo, María del Mar; Salmerón, Alberto; Panizo-Jaime, Laura
; Merino-Gómez, Pedro (Wiley, 2019-06-14)
This paper presents an integrated approach for testing mobile applications (apps) against a set of extra-functional properties to be used by app developers. The approach starts with the (manual ... -
Análisis de aplicaciones móviles utilizando métodos formales
Espada Sandi, Ana Rosario (UMA Editorial, 2017-07-09)La tecnología móvil ha surgido de la necesidad de las personas de llevar consigo un medio de comunicación con opciones de entretenimiento, una biblioteca y acceso a Internet. Actualmente, se ha masificado el uso de ...