Praxis High Integrity Systems
- Praxis High Integrity Systems
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 since 2001 also have offices in London and Loughborough.
The company Praxis Systems Limited was founded by Martyn Thomas and David Bean in 1983.It was incorporated on June 1, 1983 and commenced business on July 1, 1983.On June 28, 1985 it became a Public limited company Praxis Systems plc.Until 1988 Praxis was owned almost entirely by its staff.In 1988 Praxis obtained venture capital finance in order to provide funds for future acquisitions and working capital for continued growth.On November 27, 1992 Praxis was acquired by Deloitte Consulting (then known as Touche Ross), an international firm of accountants and management consultants.The critical systems part of the company was acquired by the Altran Group in 1997.In 2004, Praxis Critical Systems and HIS Consulting merged to form Praxis High Integrity Systems, a leading specialist in critical systems engineering.
A distinguishing feature of the company is its extensive use of formal methods such as the Z notation and the SPARK toolset (acquired through the takeover of the developers Program Validation Limited in 1993) in its approach to improving the reliability of software engineering. A major project using Z has been a small piece of the United Kingdom's National Air Traffic Services (NATS).
See also
* Anthony Hall, a former employee, now a consultant
* IPSE (Praxis was a key participant in the influential IPSE2.5 project)
External links
* [http://www.praxis-his.com/ Company website]
Wikimedia Foundation.
2010.
Look at other dictionaries:
Praxis — may refer to:* Praxis (process), the process of putting theoretical knowledge into practice * Praxis (Eastern Orthodoxy), the practice of faith, especially worship * Praxis (journal), a journal of philosophy of the University of Manchester *… … Wikipedia
SPARK (programming language) — infobox programming language name = SPARK influenced by = Ada, HAL/SSPARK is a formally defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software… … Wikipedia
SPARK — Saltar a navegación, búsqueda Para otros usos de este término, véase Spark (desambiguación). SPARK es un lenguaje de programación especialmente diseñado para sistemas de alta integridad. Es un subconjunto anotado de Ada desarrollado por la… … Wikipedia Español
Communicating sequential processes — In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.[1] It is a member of the family of mathematical theories of concurrency known as process algebras, or … Wikipedia
Certified Information Systems Security Professional — Der Certified Information Systems Security Professional (CISSP) ist eine Zertifizierung, die vom International Information Systems Security Certification Consortium, Inc. (auch: (ISC)²) angeboten wird. Es handelt sich bei dem Zertifikat um einen… … Deutsch Wikipedia
Andrew Martin (computer scientist) — For other people named Andrew Martin, see Andrew Martin (disambiguation). Dr Andrew Martin is a British computer scientist, Deputy Director and lecturer in Software Engineering Programme at the University of Oxford, England.[1][2] He is a member… … Wikipedia
SPARK — es un lenguaje de programación especialmente diseñado para sistemas de alta integridad. Es un subconjunto anotado de Ada desarrollado por la empresa británica Praxis High Integrity Systems, Inc que elimina ciertas características del lenguaje… … Enciclopedia Universal
Martyn Thomas — For the Welsh rugby union player see Martyn Thomas (rugby player). Martyn Thomas CBE FREng FBCS FIET FRSA (born 1948) is a British independent consultant and software engineer. He founded the software engineering company Praxis in 1983, based in… … Wikipedia
Eco-socialism — Green red redirects here. For other uses, see Red green (disambiguation). Socialism … Wikipedia
Heer der Vereinigten Staaten — Wie die Air Force verwendet die United States Army in der Öffentlichkeitsarbeit nicht das Wappen ihres Ministerialressorts, sondern ein modernes, firmenähnliches Logo. Die United States Army ist als Heer eine Teilstreitkraft der … Deutsch Wikipedia
