Altran Praxis: Difference between revisions
Content deleted Content added
New entry |
m Added project info |
||
| 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]]. The company was originally set up as '''Praxis''' by [[Martyn Thomas]]. It uses [[formal methods]] such as the [[Z notation]] and the [[SPARK (programming language)|SPARK]] toolset in its approach to improving the reliability of [[software engineering]]. |
'''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]]. The company was originally set up as '''Praxis''' by [[Martyn Thomas]]. It uses [[formal methods]] such as the [[Z notation]] and the [[SPARK (programming language)|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 == |
== See also == |
||
Revision as of 20:08, 26 November 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. The company was originally set up as Praxis by Martyn Thomas. It uses 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. |