Tipo de Patente: | OTRA MODALIDAD DE PROPIEDAD INTELECTUAL |
Número de Patente: | 04/2014/14190 |
Fecha de Solicitud: | 09/02/2014 |
Número de Solicitud: | CA-00452-2014 |
Tipo de Patente: | OTRA MODALIDAD DE PROPIEDAD INTELECTUAL |
Número de Patente: | 04/2012/20946 |
Fecha de Solicitud: | 26/02/2010 |
Número de Solicitud: | CA-00077-2010 |
Tipo de Patente: | OTRA MODALIDAD DE PROPIEDAD INTELECTUAL |
Número de Patente: | 04/2012/17588 |
Fecha de Solicitud: | 05/10/2010 |
Número de Solicitud: | CA-00428-2010 |
Tipo de Patente: | OTRA MODALIDAD DE PROPIEDAD INTELECTUAL |
Número de Patente: | 04/2012/17587 |
Fecha de Solicitud: | 26/02/2010 |
Número de Solicitud: | CA-00076-2010 |
Tipo de Patente: | DERECHOS DE AUTOR |
Fecha de Solicitud: | 31/03/2017 |
Número de Solicitud: | CA-93-17 |
Resumen: | LA BIBLIOTECA CAC++ RECOGE UNA DIVERSIDAD DE COMPROBACIONES QUE PUEDEN SER EMPLEADAS POR PROFESORES QUE ENSEÑAN HABILIDADES DE PROGRAMACIÓN A LOS ALUMNOS DE ASIGNATURAS INFORMÁTICAS RELACIONADAS CON LA PROGRAMACIÓN EN C++ (ESPECIALMENTE EN CUANTO A LA ORIENTACIÓN A OBJETOS). ESTAS COMPROBACIONES SE PUEDEN APLICAR AL CÓDIGO DESARROLLADO POR LOS ALUMNOS EN LAS PRÁCTICAS, DE FORMA QUE, A PARTIR DEL ANÁLISIS ESTÁTICO DEL CÓDIGO, SE PUEDE CONOCER SI ESTE CUMPLE O NO CON CIERTOS REQUISITOS DEMANDADOS EN EL ENUNCIADO. LA BIBLIOTECA PUEDE SER EMPLEADA PARA LA EVALUACIÓN DE LOS ALUMNOS O PARA QUE SIRVA DE GUÍA A LOS MISMOS EN LA REALIZACIÓN DE LAS PRÁCTICAS Y OFRECERLES RETROALIMENTACIÓN DIRECTA DE LOS ERRORES. LAS COMPROBACIONES DE LA BIBLIOTECA CAC++ ESTÁN IMPLEMENTADAS DE TAL MANERA QUE ES POSIBLE PERSONALIZARLAS Y ADECUARLAS A LOS REQUISITOS PARTICULARES DE CADA PRÁCTICA. |
Ámbito: | NACIONAL |
Tipo de Patente: | DERECHOS DE AUTOR |
Fecha de Solicitud: | 31/03/2017 |
Número de Solicitud: | CA-92-17 |
Resumen: | ESTA HERRAMIENTA PERMITE APLICAR LA TÉCNICA CONOCIDA COMO PRUEBA DE MUTACIÓN EVOLUTIVA A SISTEMAS ORIENTADOS A OBJETOS EN C++. PARA ELLO, GIGAN CONECTA LA HERRAMIENTA LLAMADA MUCPP, LA CUAL GENERA Y EJECUTA MUTANTES DE CLASE EN PROGRAMAS EN C++, CON EL ALGORITMO GENÉTICO IMPLEMENTADO EN LA HERRAMIENTA LLAMADA GAMERA. DE ESTA MANERA, GIGAN PERMITE QUE MUCPP Y GAMERA SE COMUNIQUEN PARA PODER REDUCIR EL NÚMERO DE MUTANTES A GENERAR, PERO PROPICIANDO LA GENERACIÓN DE MUTANTES QUE TIENEN POTENCIAL PARA AYUDAR A DISEÑAR NUEVOS CASOS DE PRUEBA. |
Ámbito: | NACIONAL |
Tipo de Patente: | DERECHOS DE AUTOR |
Número de Patente: | 04/2017/3463 |
Fecha de Solicitud: | 16/10/2017 |
Número de Solicitud: | CA-00367-2017 |
Fecha de Concesión: | 06/04/2018 |
Resumen: | NITROGEN ES UN GENERADOR DE DATOS SINTÉTICOS PARA EL INTERNET DE LAS COSAS (IOT), QUE PERMITE PROBAR LA EFICIENCIA Y EFICACIA DE LAS ARQUITECTURAS SOFTWARE QUE TRATAN CON DICHOS DATOS. |
Ámbito: | NACIONAL |
Tipo de Patente: | DERECHOS CONEXOS |
Número de Patente: | 04/2017/1911 |
Fecha de Solicitud: | 03/02/2017 |
Número de Solicitud: | CA-35-17 |
Fecha de Concesión: | 14/06/2018 |
Resumen: | EVIEW4CEP ES UNA CONSOLA DE MONITORIZACIÓN DE EVENTOS, LA CUAL SE LOCALIZA COMO COMPONENTE CONSUMIDOR DE UNA ARQUITECTURA SOA (SERVICE-ORIENTED ARCHITECTURE) 2.0. ESTA ARQUITECTURA ESTÁ COMPUESTA POR PRODUCTORES DE EVENTOS, UN ESB (ENTERPRISE SERVICE BUS) CONECTADO CON UN MOTOR CEP (COMPLEX EVENT PROCESSING) Y CONSUMIDORES DE EVENTOS, SIENDO EVIEW4CEP UNA HERRAMIENTA GRÁFICA E INTUITIVA QUE PERMITE VISUALIZAR EN FORMATO TABULAR O GRÁFICO LOS EVENTOS SIMPLES Y COMPLEJOS QUE FLUYEN POR DICHA ARQUITECTURA, TANTO EN TIEMPO REAL COMO HISTÓRICO DE EVENTOS, ATENDIENDO AL DOMINIO DE APLICACIÓN QUE EL USUARIO FINAL SELECCIONE DE LOS DISPONIBLES EN ESTE CONTEXTO. ESTA HERRAMIENTA SE INTEGRA CON MEDIT4CEP. |
Ámbito: | NACIONAL |
Tipo de Patente: | DERECHOS CONEXOS |
Número de Patente: | 04/2017/1910 |
Fecha de Solicitud: | 03/02/2017 |
Número de Solicitud: | CA-34-17 |
Fecha de Concesión: | 14/06/2018 |
Resumen: | TEXTEDIT4CEP ES UN EDITOR DE MODELADO TEXTUAL PARA DEFINIR DOMINIOS CEP (COMPLEX EVENT PROCESSING) Y PATRONES DE EVENTOS, QUE PROVEE MECANISMOS PARA ASISTIR AL USUARIO EN TIEMPO DE EJECUCIÓN, HACIENDO MÁS SENCILLA LA IMPLEMENTACIÓN DE DICHOS PATRONES (SITUACIONES DE INTERÉS A DETECTAR EN UN DOMINIO ESPECÍFICO). ESTA HERRAMIENTA ESTÁ BASADA EN MEDIT4CEP, UNA SOLUCIÓN DIRIGIDA POR MODELOS QUE FACILITA A LOS USUARIOS FINALES LA DEFINICIÓN GRÁFICA E INTUITIVA DE DOMINIOS CEP Y LOS PATRONES DE EVENTOS QUE NECESITAN DETECTAR EN TIEMPO REAL EN SUS SISTEMAS BASADOS EN SOA (SERVICE-ORIENTED ARCHITECTURE) 2.0, OCULTANDO ASÍ TODOS LOS DETALLES DE IMPLEMENTACIÓN A ESTOS USUARIOS. |
Ámbito: | NACIONAL |
Tipo de Patente: | DERECHOS DE AUTOR |
Número de Patente: | 04/2017/1912 |
Fecha de Solicitud: | 03/02/2017 |
Número de Solicitud: | CA-36-17 |
Fecha de Concesión: | 14/06/2018 |
Resumen: | COLLECT ES UNA ARQUITECTURA SOFTWARE COLABORATIVA ORIENTADA A SERVICIOS Y DIRIGIDA POR EVENTOS CONSCIENTE DEL CONTEXTO PARA ENTORNOS DE INTERNET DE LAS COSAS (IOT). ESTA ARQUITECTURA DA RESPUESTA A LA NECESIDAD DE UN SISTEMA QUE BENEFICIÁNDOSE DE LOS DATOS PROPORCIONADOS POR ENTORNOS HETEROGÉNEOS Y POR DATOS OBTENIDOS DE FORMA COLABORATIVAS ENTRE DISTINTOS SMART DEVICES, PUEDA OFRECER MEJORES SERVICIOS EN EL ÁMBITO DE IOT. DE ESTE MODO, SE PROPICIA UN MÁS RÁPIDO PROCESAMIENTO DE LA INFORMACIÓN Y LA POSIBILIDAD DE BENEFICIARSE DE LA INFORMACIÓN DE LA QUE DISPONEN OTROS DISPOSITIVOS, FAVORECIENDO SIN DUDA UNA MEJOR RESPUESTA EN LA TOMA DE DECISIONES. |
Ámbito: | NACIONAL |
Tipo de Patente: | DERECHOS DE AUTOR |
Número de Patente: | 04/2017/1913 |
Fecha de Solicitud: | 03/02/2017 |
Número de Solicitud: | CA-37-17 |
Fecha de Concesión: | 14/06/2018 |
Resumen: | CARED-SOA ES UNA ARQUITECTURA SOFTWARE ORIENTADA A SERVICIOS CONSCIENTE DEL CONTEXTO PARA EL INTERNET DE LAS COSAS (IOT) QUE DA RESPUESTA A LA NECESIDAD DE UN SISTEMA QUE BENEFICIÁNDOSE DE LOS DATOS PROPORCIONADOS POR EL IOT PUEDA OFRECER Y PERSONALIZAR LOS SERVICIOS QUE SE OFRECEN AL CIUDADANO EN FUNCIÓN DE SU CONTEXTO Y DE LOS EVENTOS QUE SE DETECTAN EN SU ENTORNO PARA UN DOMINIO EN PARTICULAR. ESTA ARQUITECTURA PERMITE OFRECER SERVICIOS PARA EL IOT, YA QUE CUMPLE CON TODOS LOS REQUISITOS PARA PROCESADO DE STREAMING EN IOT. |
Ámbito: | NACIONAL |
Tipo de Patente: | DERECHOS DE AUTOR |
Fecha de Solicitud: | 31/10/2014 |
Número de Solicitud: | CA-452-14 |
Fecha de Concesión: | 09/02/2016 |
Resumen: | MUCPP IS A MUTATION TESTING TOOL FOR THE C++ PROGRAMMING LANGUAGE. THE TOOL INCLUDES CLASS-BASED AND TRADITIONAL-BASED MUTATION OPERATORS WHICH ARE APPLIED USING THE CLANG COMPILER. MUCPP IS NOT SUBJECT TO A FRAMEWORK TESTING SO THAT YOU CAN USE YOUR OWN TEST SUITE. |
Tipo de Patente: | DERECHOS DE AUTOR |
Número de Patente: | 04/2015/17406 |
Fecha de Solicitud: | 17/07/2015 |
Número de Solicitud: | CA-248-2015 |
Fecha de Concesión: | 06/04/2017 |
Resumen: | MEDIT4CEP ES UNA SOLUCIÓN SOFTWARE BASADA EN MODELOS QUE FACILITA, MEDIANTE EL PROCESAMIENTO DE EVENTOS COMPLEJOS (CEP), LA TOMA DE DECISIONES EN ARQUITECTURAS ORIENTADAS A SERVICIOS Y DIRIGIDAS POR EVENTOS (SOA 2.0). ESTE NOVEDOSO SOFTWARE PERMITE A LOS EXPERTOS EN EL DOMINIO (INEXPERTOS EN TECNOLOGÍAS) LA DEFINICIÓN GRÁFICA E INTUITIVA DE LOS PATRONES DE EVENTOS (SITUACIONES DE INTERÉS) A DETECTAR EN SUS SISTEMAS BASADOS EN SOA 2.0, ASÍ COMO LA TRANSFORMACIÓN AUTOMÁTICA DE LOS MODELOS DE PATRONES AL CÓDIGO DE IMPLEMENTACIÓN Y SU DESPLIEGUE EN TIEMPO DE EJECUCIÓN. DE ESTA FORMA, LOS USUARIOS PUEDEN CENTRARSE EN MODELAR SU CONOCIMIENTO DEL DOMINIO (SALUD, MEDIOAMBIENTE, INDUSTRIA 4.0, TRANSPORTE, SEGURIDAD Y TURISMO, ENTRE OTROS), ABSTRAYÉNDOSE DE LOS DETALLES DE IMPLEMENTACIÓN. |
Ámbito: | NACIONAL |