Bienvenido a la web de la Oficina del Software Libre y Conocimiento Abierto de la Universidad de Cádiz

Grupos de Investigación de la UCA colaboran en liberación de software

Los grupos de investigación de la UCA SPI&FM y UCASE han integrado un módulo de supresión de invariantes en el núcleo del generador de invariantes Daikon. Daikon es uno de los generadores de invariantes de referencia mundial, habiendo dando lugar a gran cantidad de publicaciones en revistas y congresos internacionales de reconocido prestigio.

El trabajo técnico ha sido liderado por Antonio García Domínguez, Técnico Licenciado Investigador en la UCA, comenzando en el marco del sistema Takuan, un generador de invariantes para lenguaje WS-BPEL desarrollado como software libre en la UCA que fue usado en la tesis doctoral del profesor Manuel Palomo y dirigida por la profesor Inmaculada Medina.

Distribuir contenido