SONIA
ESTÉVEZ MARTÍN
Profesora contratada doctora
Proyectos vigentes
-
Metodologías avanzadas para arquitecturas, diseño y pruebas de software
MARÍA DE LAS MERCEDES GARCÍA MERAYO, MANUEL NÚÑEZ GARCÍA
Proyectos finalizados
2022
-
FORmal models and Technologies for Emerging applications
MANUEL NÚÑEZ GARCÍA
2021
-
MODELADO FORMAL Y MÉTODOS AVANZADOS DE TESTING. APLICACIONES A MEDICINA Y SISTEMAS COMPUTACIONALES.
MARÍA DE LAS MERCEDES GARCÍA MERAYO, MANUEL NÚÑEZ GARCÍA
2018
2015
-
ESPECIFICACIÓN Y TESTING DE SISTEMAS ALTAMENTE DISTRIBUIDOS
MANUEL NÚÑEZ GARCÍA
2013
-
PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFWTARE DE LA COMUNIDAD DE MADRID
FRANCISCO JAVIER LÓPEZ FRAGUAS
2011
-
SOFTWARE TOOLS AND MULTIPARADIGM PROGRAMMING.
FRANCISCO JAVIER LÓPEZ FRAGUAS
2009
-
MÉTODOS FORMALES EN SISTEMAS SOFTWARE HETEROGÉNEOS
FRANCISCO JAVIER LÓPEZ FRAGUAS