Related Research Articles
ALGOL is a family of imperative computer programming languages originally developed in 1958. ALGOL heavily influenced many other languages and was the standard method for algorithm description used by the Association for Computing Machinery (ACM) in textbooks and academic sources for more than thirty years.
In computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, 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.
A safety-critical system or life-critical system is a system whose failure or malfunction may result in one of the following outcomes:
ALGOL 68C is an imperative computer programming language, a dialect of ALGOL 68, that was developed by Stephen R. Bourne and Michael Guy to program the Cambridge Algebra System (CAMAL). The initial compiler was written in the Princeton Syntax Compiler that was implemented by J. H. Mathewman at Cambridge.
John Edward Lancelot Peck was the first permanent Head of Department of Computer Science at the University of British Columbia (UBC). He remained the Head of Department from 1969 to 1977.
Uncertainty quantification (UQ) is the science of quantitative characterization and estimation of uncertainties in both computational and real world applications. It tries to determine how likely certain outcomes are if some aspects of the system are not exactly known. An example would be to predict the acceleration of a human body in a head-on crash with another car: even if the speed was exactly known, small differences in the manufacturing of individual cars, how tightly every bolt has been tightened, etc., will lead to different results that can only be predicted in a statistical sense.
Philip Mayne Woodward was a British mathematician, radar engineer and horologist. He achieved notable success in all three fields. Before retiring, he was a deputy chief scientific officer at the Royal Signals and Radar Establishment of the British Ministry of Defence in Malvern, Worcestershire.
LDRA Testbed is a set of core static and dynamic analysis engines for both host and embedded software. LDRA Testbed is made by Liverpool Data Research Associates (LDRA). LDRA Testbed provides the means to enforce compliance with coding standards such as MISRA, JSF++ AV, CERT C, CWE and provides visibility of software flaws that might typically pass through the standard build and test process to become latent problems. In addition, test effectiveness feedback is provided through structural coverage analysis reporting facilities, which support the requirements of the DO-178B standard up to and including Level A.
Dr Martin R. Woodward was a British computer scientist who made leading contributions in the field of in software testing.
Software Testing, Verification, & Reliability is a peer-reviewed scientific journal in the field of software testing, verification, and reliability published by John Wiley & Sons.
Linear code sequence and jump (LCSAJ), in the broad sense, is a software analysis method used to identify structural units in code under test. Its primary use is with dynamic software analysis to help answer the question "How much testing is enough?". Dynamic software analysis is used to measure the quality and efficacy of software test data, where the quantification is performed in terms of structural units of the code under test. When used to quantify the structural units exercised by a given set of test data, dynamic analysis is also referred to as structural coverage analysis.
LDRA is a provider of software analysis, test, and requirements traceability tools for the Public and Private sectors. It is a pioneer in static and dynamic software analysis.
Peter William O'Hearn, formerly a research scientist at Meta, is a Distinguished Engineer at Lacework and a Professor of Computer science at University College London (UCL). He has made significant contributions to formal methods for program correctness. In recent years these advances have been employed in developing industrial software tools that conduct automated analysis of large industrial codebases.
Simulation governance is a managerial function concerned with assurance of reliability of information generated by numerical simulation. The term was introduced in 2011 and specific technical requirements were addressed from the perspective of mechanical design in 2012. Its strategic importance was addressed in 2015. At the 2017 NAFEMS World Congress in Stockholm simulation governance was identified as the first of eight “big issues” in numerical simulation.
Data entry is the process of digitizing data by entering it into a computer system for organization and management purposes. It is a person-based process and is "one of the important basic" tasks needed when no machine-readable version of the information is readily available for planned computer-based analysis or processing.
Susan Bond, was a scientific officer and computer programmer for the Mathematics Division of the Royal Radar Establishment (RRE) in the United Kingdom. She worked extensively on the programming language ALGOL 68 and the Royal Radar Establishment Automatic Computer (RREAC), an early solid-state electronics, ICL 1907F computer.
Sergiy A. Vilkomir was a Ukrainian-born computer scientist.
References
- ↑ Michael A. Hennell at DBLP Bibliography Server
- ↑ Software Testing, Verification and Reliability, Software Testing, Verification and Reliability
- ↑ M.A. Hennell, An effective Hamiltonian method for the solution of the Schrodinger equation. I. The one-dimensional problem, 1975 J. Phys. A: Math. Gen. 8 171-17
- ↑ M. A. Hennell, An experimental testbed for numerical software. {I}. {Fortran}, The Computer Journal 21(4):333--336, @nov, 1978
- ↑ M. A. Hennell and D. Hedley, An experimental testbed for numerical software. {II}. {ALGOL 68}, The Computer Journal 22(1):53--56, @feb, 1979
- ↑ M.A. Hennell, M.R. Woodward and D Hedley, Towards More Advanced Testing Techniques, Workshop on Reliable Software pp. 19-29., ed. by P. Raulefs, Hanser (Munchen-Wien) 1979 ISBN 3-446-12910-3
- ↑ M.A. Hennell, D. Hedley and M.R. Woodward, Quantifying the Test Effectiveness of Algol 68 Programs, Proceedings of the Strathclyde ALGOL 68 conference 1977, pp. 36 - 41, ISSN 0362-1340
