|
Praxis High Integrity Systems
Altran UK (formerly known as Altran Praxis, Praxis High Integrity Systems, Praxis Critical Systems, Altran Xype, Xype and Altran Technologies) is a division of parent company Altran. Altran Praxis was a British software house that specialised in critical systems. This role is continued under the banner of high-tech engineering consultancy services provided by the rest of the Altran group. The division formerly known as Praxis (the critical systems specialists) is based in SouthGate, Bath, England, close to Bath Spa railway station, and also have offices in London, Loughborough, Paris, Sophia Antipolis, and Bangalore. Altran UK as a whole has offices in Bath, Bristol, London, Loughborough, Manchester, Slough and Coventry. The company Praxis Systems Limited was founded by Martyn Thomas and David Bean in 1983: it was incorporated on 1 June 1983 and commenced business on 1 July 1983. On 28 June 1985 it became a Public limited company Praxis Systems plc. Until 1988, Praxis was owned ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Altran
ALTRAN (ALgebraic TRANslator) is a programming language for the formal manipulation of rational functions of several variables with integer coefficients. It was developed at Bell Labs in 1960s. ALTRAN is a FORTRAN version of ALPAK rational algebra package, and “can be thought of as a variant of FORTRAN with the addition of an extra declaration, the ‘algebraic’ type declaration.” Although ALTRAN is written in ANSI FORTRAN, nevertheless there exist differences in FORTRAN implementations. ALTRAN handles machine dependencies through the use of a General-purpose macro processor, macro processor called M6.Hall, A.D., "The ALTRAN System for Rational Function Manipulation — A Survey". ''Communications of the ACM'', 14(8):517–521 (August 1971). ALTRAN should not be confused with the ALGOL to FORTRAN Translator, called Altran, that "converts Extended Algol programs into Fortran IV." History ALPAK, written in 1964, originally consisted of a set of subroutines for FORTRAN writ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Martyn Thomas
Martyn Thomas CBE FREng FIET FRSA (born 1948) is a British independent consultant and software engineer. Overview Martyn Thomas founded the software engineering company Praxis in 1983, based in Bath, southern England. He has a special interest in safety-critical systems and other high integrity applications. He has acted as an expert witness involving complex software engineering issues. Thomas was born in Salisbury, southern England. He studied biochemistry at University College London, graduating in 1969, when he started working in the field of computing. Between 1969 and 1983, he was employed at universities in London and the Netherlands, at STC working on telecommunications software, and at the South West Universities Regional Computer Centre in Bath. In 1983, Thomas founded Praxis with David Bean, where he encouraged the use of formal methods within the company for software development. In 1986, Praxis became the first independent systems house to achieve BS 5750 (l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |