Altran Praxis
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 ... [...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]   |
|
Companies Established In 1983
A company, abbreviated as co., is a legal entity representing an association of people, whether natural, legal or a mixture of both, with a specific objective. Company members share a common purpose and unite to achieve specific, declared goals. Companies take various forms, such as: * voluntary associations, which may include nonprofit organizations * business entities, whose aim is generating profit * financial entities and banks * programs or educational institutions A company can be created as a legal person so that the company itself has limited liability as members perform or fail to discharge their duty according to the publicly declared incorporation, or published policy. When a company closes, it may need to be liquidated to avoid further legal obligations. Companies may associate and collectively register themselves as new companies; the resulting entities are often known as corporate groups. Meanings and definitions A company can be defined as an "artificial per ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Computer Weekly
''Computer Weekly'' is a digital magazine and website for IT professionals in the United Kingdom. It was formerly published as a weekly print magazine by Reed Business Information for over 45 years. Topics covered within the magazine include outsourcing, security, data centres, information management, cloud computing, and mobile computing to computer hacking and strategy for IT management. History The magazine was available free to IT professionals who met the circulation requirements. A small minority of issues were sold in retail outlets, with the bulk of revenue received from display and recruitment advertising. The magazine is still available for free as a PDF digital edition. ''Computer Weekly'' was available in print and digital format and the readership was audited by BPA Worldwide, which verified its circulation twice yearly. The circulation figure was 135,035 according to the publisher's statement in August 2007. Bryan Glick is the editor-in-chief of ''Computer Weekly ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
National Air Traffic Services
NATS Holdings, formerly National Air Traffic Services and commonly referred to as NATS, is the main air navigation service provider in the United Kingdom. It inherited the traditions of UK air traffic control, which (founded over Croydon Airport) was the world's first air traffic control regime. It provides en-route air traffic control services to flights within the UK flight information regions and the Shanwick Oceanic Control Area, and provides air traffic control services to 14 UK airports. The workforce of NATS is mainly made up of air traffic controllers (ATCOs), air traffic control engineers (ATCEs), air traffic services assistants (ATSAs) and science technical analytical and research staff (STARs). Administrative and support staff make up the remainder of the 4,200 or so employees of NATS. NATS is split into two main service provision companies: ''NATS En-Route PLC'' (NERL) and ''NATS Services Ltd'' (NSL). * NERL is the sole provider of civilian en-route air traffic ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Software Engineering
Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' programmer'' is sometimes used as a synonym, but may also lack connotations of engineering education or skills. Engineering techniques are used to inform the software development process which involves the definition, implementation, assessment, measurement, management, change, and improvement of the software life cycle process itself. It heavily uses software configuration management which is about systematically controlling changes to the configuration, and maintaining the integrity and traceability of the configuration and code throughout the system life cycle. Modern processes use software versioning. History Beginning in the 1960s, software engineering was seen as its own type of engineering. Additionally, the development of soft ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Program Validation Limited
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]   |
|
SPARK (programming Language)
SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential. It facilitates the development of applications that demand safety, security, or business integrity. Originally, there were three versions of the SPARK language (SPARK83, SPARK95, SPARK2005) based on Ada 83, Ada 95 and Ada 2005 respectively. A fourth version of the SPARK language, SPARK 2014, based on Ada 2012, was released on April 30, 2014. SPARK 2014 is a complete re-design of the language and supporting verification tools. The SPARK language consists of a well-defined subset of the Ada language that uses contracts to describe the specification of components in a form that is suitable for both static and dynamic verification. In SPARK83/95/2005, the contracts are encoded in Ada comments and so are ignored by any standard Ada compiler, but are p ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Z Notation
The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general. History In 1974, Jean-Raymond Abrial published "Data Semantics". He used a notation that would later be taught in the University of Grenoble until the end of the 1980s. While at EDF ( Électricité de France), working with Bertrand Meyer, Abrial also worked on developing Z. The Z notation is used in the 1980 book ''Méthodes de programmation''. Z was originally proposed by Abrial in 1977 with the help of Steve Schuman and Bertrand Meyer. It was developed further at the Programming Research Group at Oxford University, where Abrial worked in the early 1980s, having arrived at Oxford in September 1979. Abrial has said that Z is so named "Because it is the ultimate language!" although the name "Zermelo" is also associated with the Z notation through its use of Zermelo–Fraenkel ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Formal Methods
In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design. Formal methods employ a variety of theoretical computer science fundamentals, including logic calculi, formal languages, automata theory, control theory, program semantics, type systems, and type theory. Background Semi-Formal Methods are formalisms and languages that are not considered fully “formal”. It defers the task of completing the semantics to a later stage, which is then done either by human interpretation or by interpretation through software like code or test case generators. Taxonomy Formal methods can be used at a number of levels: Level 0: Formal specification may ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
HIS Consulting
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]   |