SONIA
ESTÉVEZ MARTÍN
Profesora contratada doctora
Indarrean dauden proiektuak
-
Metodologías avanzadas para arquitecturas, diseño y pruebas de software
MARÍA DE LAS MERCEDES GARCÍA MERAYO, MANUEL NÚÑEZ GARCÍA
Bukatutako proiektuak
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
-
METODEOS FORMALES EN SISTEMAS SOFTWER HETEROGENEOS
FRANCISCO JAVIER LÓPEZ FRAGUAS