Altran Praxis

La empresa Praxis Systems Limited fue fundada por Martyn Thomas y David Bean en 1983: ^{[ 2 ]} se constituyó el 1 de junio de 1983 e inició sus actividades el 1 de julio de 1983, presentándose como una empresa de ingeniería de software . El 28 de junio de 1985 se convirtió en una sociedad anónima, Praxis Systems plc . En 1987, se creó una estructura de grupo empresarial bajo la empresa renombrada Praxis plc . ^{[ 3 ]}

Hasta 1988, Praxis era propiedad casi en su totalidad de sus empleados y ofrecía un plan de participación en las ganancias para el personal. ^{[ 4 ]} En 1988, Praxis obtuvo financiación de capital de riesgo para financiar futuras adquisiciones y proporcionar capital de trabajo para un crecimiento continuo. El 27 de noviembre de 1992, Praxis fue adquirida por Deloitte Consulting (entonces conocida como Touche Ross), una firma internacional de contadores y consultores de gestión. ^{[ 5 ]} La empresa continuó operando bajo el nombre de Praxis. ^{[ 6 ]}

El primer proyecto de Praxis fue desarrollar un subsistema Unix de prueba de campo integrado en el sistema operativo de mainframe ICL VME , llamado VNS, que ICL posteriormente desarrolló en las versiones VME/X y OpenVME del sistema operativo de mainframe. ^{[ 3 ] [ 7 ]}

A finales de los años 80 y durante los años 90, Praxis Systems comercializó y brindó soporte al lenguaje de descripción de hardware electrónico ELLA, utilizado para describir, verificar y gestionar diseños de circuitos de integración a muy gran escala . ^{[ 8 ] [ 3 ]}

Una característica distintiva de la antigua oficina de Praxis es su uso extensivo de métodos formales como la notación Z y el conjunto de herramientas SPARK (adquirido mediante la compra de los desarrolladores Program Validation Limited en 1994) en su enfoque para mejorar la fiabilidad de la ingeniería de software . ^{[ 9 ]} Un proyecto importante que utiliza Z ha sido una mejora para los Servicios Nacionales de Tráfico Aéreo (NATS) del Reino Unido . ^{[ 10 ] [ 11 ]}

La división de sistemas críticos fue adquirida por el Grupo Altran en 1997. ^{[ 12 ]} La división de sistemas comerciales e industriales ^{[ 3 ]} fue conservada por Deloitte, pero el uso del nombre Praxis por parte de Deloitte cesó poco después. ^{[ 6 ]}

En 2004, Praxis Critical Systems y HIS Consulting se fusionaron para formar Praxis High Integrity Systems. En enero de 2010, Altran fusionó la empresa con SC2 para formar Altran Praxis. ^{[ 13 ]} Desde entonces, la empresa ha sido renombrada como Altran junto con Altran Xype y Altran Technologies. En diciembre de 2012, AdaCore junto con Altran Praxis lanzó SPARK Pro 11. ^{[ 14 ]} En 2013, Altran adquirió Sentaca, una consultora especializada en telecomunicaciones.