Se va a desarrollar una aplicación que será capaz de evaluar las propiedades cualitativas de correctitud y completitud del modelo navegacional en las aplicaciones web que permiten al usuario interactuar con el sistema para ...