Skip to Content

ARQUISOFT en WEA'2018 !!

Noticias recientes El M.Sc. Oscar Javier Puentes presentó en el WEA'2018 la ponencia "Linear Temporal Logic Applied to Component-Based Software Architectural Models Specified Through ρarq Calculus " que evidencia los avances en el trabajo orientado a la especificación formal de arquitecturas de software. Para mayor información se puede consultar en mayor detalle en la sección Proyectos Finalizados.