Altran Praxis: Difference between revisions
m Typo correction |
m Added location |
||
| Line 1: | Line 1: | ||
'''Praxis High Integrity Systems''' (formerly known as '''Praxis Critical Systems''') is a British [[software house]] that specialises in [[critical system]]s. They are based in [[Bath]], [[England]] and also have offices in [[London]]. |
'''Praxis High Integrity Systems''' (formerly known as '''Praxis Critical Systems''') is a British [[software house]] that specialises in [[critical system]]s. They are based in [[Bath]], [[England]] and also have offices in [[London]] and [[Loughborough]]. |
||
The company was originally set up as '''Praxis''' by [[Martyn Thomas]] in [[1983]]. Praxis was sold to [[Deloitte and Touche]], an international firm of accountants and management consultants, in December [[1992]]. The critical systems part of the company with separated as Praxis Critical Systems which was later renamed to Praxis High Integrity Systems. |
The company was originally set up as '''Praxis''' by [[Martyn Thomas]] in [[1983]]. Praxis was sold to [[Deloitte and Touche]], an international firm of accountants and management consultants, in December [[1992]]. The critical systems part of the company with separated as Praxis Critical Systems which was later renamed to Praxis High Integrity Systems. |
||
Revision as of 11:31, 4 December 2007
Praxis High Integrity Systems (formerly known as Praxis Critical Systems) is a British software house that specialises in critical systems. They are based in Bath, England and also have offices in London and Loughborough.
The company was originally set up as Praxis by Martyn Thomas in 1983. Praxis was sold to Deloitte and Touche, an international firm of accountants and management consultants, in December 1992. The critical systems part of the company with separated as Praxis Critical Systems which was later renamed to Praxis High Integrity Systems.
A distinguishing feature of the company is its extensive use of formal methods such as the Z notation and the SPARK toolset in its approach to improving the reliability of software engineering. A major project using Z has been the United Kingdom's National Air Traffic Services (NATS).
See also
- Anthony Hall, a former employee, now a consultant
External links
 | This article about a company of the UK is a stub. You can help Wikipedia by expanding it. |