Contribution to the automation of software quality control of web applications
Tesis doctoral de Bonifacio García Gutiérrez The web has become one of the most influential instruments in the history of […]
Tesis doctoral de Demis Ballis
Información academica Demis Ballis. Tesis donde Demis Ballis ha sido autor, director o parte del tribunal.
Rewriting-based verification and debugging of web systems
Tesis doctoral de Daniel Omar Romero The increasing complexity of web system has led to the development of sophisticated formal
Rule-based software verification and correction
Tesis doctoral de Demis Ballis La creciente complejidad de los sistemas software ha conducido al desarrollo de metodologías formales para