Los Profesores:
Judith del Pilar Rodríguez Tenjo, Oscar Alberto Gallardo Pérez y Marco Antonio Adarme Jaime.
Grupo de Investigación en Desarrollo e Ingeniería de Software – GIDIS, Universidad Francisco de Paula Santander.
Presentaron la ponencia LAS MATEMÁTICAS EN LA PRÁCTICA DEL DESARROLLO DE SOFTWARE en el Encuentro Bienal Internacional realizado en el UFPS el 27 de noviembre del 2019. La ponencia trató sobre la importancia de las matemáticas especializadas para un ingeniero de software en el desarrollo de una especificación. Estas especificaciones pueden ser validadas matemáticamente para hallar contradicciones y eliminar vaguedades. Un ingeniero de software las emplea para representar en forma organizada, grados de abstracción en la especificación de un sistema y poderlo modelar adecuadamente.
El objetivo es describir la utilidad de las matemáticas para los desarrolladores de software, resaltando su capacidad de identificar, interpretar, representary mode lar problemas con el objeto de mejorar los procesos inherentes a ella. La investigación se centra en diseñar un modelo formal para desarrollar pruebas funcionales de software y cómo la matemática como ciencia tiene una relación con las pruebas de ruta básica y técnica de prueba de caja blanca.