GRASS: Mejorando sistemas tecnológicos con modelos formales
El jueves 1 de agosto de 2013, el Dr. Manuel Núñez de España fue el protagonista del Galileo Research Awareness Seminar Series (GRASS), en el que se enfocó en un modelo formal para realizar testing pasivos en sistemas que poseen comunicaciones asíncronas.
El Dr. Núñez, profesor del Depto. Sistemas Informáticos y Computación en la Universidad Complutense de Madrid, ha basado su investigación en el campo de los métodos formales, centrándose en el campo de la informática en el estudio de las aproximaciones formales a los procesos de “testing”.
“…para Guatemala como país o en general para la investigación es importante que vengan investigadores de fuera que puedan proporcionar una perspectiva que logre ampliar el conocimiento de las personas, me parece excelente que Universidad Galileo realice estos seminarios” comentó el Dr. Núñez.
La visita del Dr. Nuñez, fue gestionada por la Escuela Doctoral de Universidad Galileo (EDUG), dirigida por el Dr. Gerardo Morales, para la continua preparación de los alumnos del Ph.D en Tecnologías de Información.
El Ing. Marco Antonio To, uno de los coordinadores de GRASS, expresó “es importante conocer cómo los modelos formales matemáticos se utilizan para el mejoramiento de sistemas tecnológicos, su investigación puede ser aplicada en una gran variedad de especialidades en la industria para pruebas de software de sistemas simples y complejos.
Por: Alan Elías, Área de e-Marketing y Comunicación
Enlaces de interés:
