CQRS (Command Query Responsibility Segregation) es un patrón de arquitectura que propone separar las operaciones que modifican información de aquellas…
Read More
Arquitectura CQRS
Contratos de datos
Cuando diferentes equipos comparten información, pueden surgir problemas porque cada uno interpreta los datos de manera distinta. Un campo cambia…
Read More
Bases de datos columnares
Las bases de datos tradicionales suelen organizar la información mediante filas, una estructura conveniente para consultar y modificar registros individuales.…
Read More
Procesamiento de flujos de datos
Muchas aplicaciones necesitan procesar información conforme se genera, sin esperar a que los datos se almacenen en archivos o bases…
Read More
Verificación formal
La verificación formal es una disciplina que utiliza métodos matemáticos para comprobar si un sistema cumple determinadas propiedades o especificaciones.…
Read More
Pruebas basadas en propiedades
En el desarrollo de software es común crear pruebas con entradas específicas para comprobar que una función produce el resultado…
Read More
Lenguajes seguros para la memoria
Los errores de administración de memoria han provocado numerosos problemas de seguridad en aplicaciones y sistemas operativos. Accesos indebidos, corrupción…
Read More
Credenciales verificables
Las credenciales verificables son documentos digitales que permiten demostrar información sobre una persona, institución o dispositivo de una manera que…
Read More
Tecnologías para mejorar la privacidad
Las tecnologías de mejora de la privacidad, conocidas como PETs (Privacy-Enhancing Technologies), reúnen diferentes herramientas diseñadas para reducir la exposición…
Read More
Privacidad diferencial
La privacidad diferencial es una técnica matemática que permite analizar conjuntos de datos sin revelar fácilmente información sobre una persona…
Read More
This will close in 10 seconds
This will close in 0 seconds