Ingeniería de software: Qué es, objetivos, características y más

CONVERSARTORIO ENTRE PROFESORAS DE LA FACULTAD DE CIENCIAS Científicas transformando las Ciencias: no es suerte, son las redes 👩‍🏫 Participantes del conversatorio 🌐 Dra. Lourdes del Carmen González Huesca Especialista en Ciencias de la Computación, doctora por la Université Paris Cité y profesora de tiempo completo en el Departamento de Matemáticas. Su trabajo se centra en métodos formales, verificación de sistemas y el uso de Rocq para asegurar la corrección de especificaciones y programas.