La Fundación Linux ha puesto en marcha la Fundación TLA+ que, como su propio nombre indica, busca fomentar el desarrollo del lenguaje de programación TLA+.
Este organismo nace con el apoyo de Microsoft, Amazon Web Services (AWS) y Oracle. La idea es ir uniendo más miembros para promover TLA+ en la industria tecnológica.
“El establecimiento de la Fundación TLA+ demuestra un compromiso para avanzar en el uso y desarrollo del lenguaje TLA+ en beneficio de toda la industria del software”, afirma Jim Zemlin, director ejecutivo de la Fundación Linux. “A medida que crece la dependencia mundial de los sistemas distribuidos, es importante que los desarrolladores estén capacitados en TLA+ para modelar y verificar que los sistemas se comportan como se espera“.
TLA+ permite verificar sistemas de software complejos y detectar fallos de diseño en las etapas iniciales del proceso de desarrollo. De este modo, es posible eliminar errores.
Creado por Leslie Lamport hace ya unas décadas, ahora estrena hogar al amparo de la Fundación Linux. La recién estrenada Fundación TLA+ promoverá su adopción, ofrecerá recursos formativos, financiará la investigación y trabajará en favor de la creación de una comunidad profesional.
Veeam lanza el primer modelo de madurez de resiliencia de datos (DRMM) para ayudar a…
OVHcloud presenta Data Platform, una solución completa para el análisis y gestión de datos con…
Son dos instalaciones en Londres y otras en Ámsterdam, Berlín, Düsseldorf, Fráncfort, Hamburgo y Múnich,…
Lenovo lanza 21 nuevos sistemas ThinkSystem y ThinkAgile para cargas de trabajo de IA, virtualización…
Juniper Research prevé que este año se alcancen los 30.000 millones de dólares y que…
Proofpoint presenta una plataforma unificada que combina DLP, DSPM e IA para proteger los datos…
