A complex product, such as a software system, is often inspected more than once in a sequential manner to further improve its quality and reliability. In such a case, a particularly important task is to accurately estimate the number of errors still remaining in the product after a series of multiple inspections. In the paper, we first develop a maximum likelihood method of estimating both the ...

Code inspections continue to gain significance as a software verification scheme since Fagan introduced the concept. Software engineering researchers examining the value of code inspections have exclusively focused on defect removal benefits of inspections. In this paper we develop and test empirical models of both quality improvement and project management benefits realized because of effort s...

Interferometers are normally operated in environment-controlled optical laboratories because vibrations will induce errors in measurement results. In order to extend the application of interferometry to shop floor inspection, two methods are adapted: one method is to introduce a reference interferometer and vibration compensation system to the main interferometer, to compensate for the environm...

This research examines the electrical conductive particles of anisotropic conductive film (ACF) during the laminate manufacturing process for liquid crystal displays (LCD) and adopts an improved pattern match method to apply on-line automatic and relevant measurement inspections. The focus of this research is describing and identifying feature images. We aim to improve the traditional pattern m...

INTRODUCTION Inspections are widely used in health care as a means to improve the health services delivered to patients. Despite their widespread use, there is little evidence of their effect. The mechanisms for how inspections can promote change are poorly understood. In this study, we use a national inspection campaign of sepsis detection and initial treatment in hospitals as case to: (1) Exp...

Since the signature of an Ada subprogram does not specify the set of exceptions that the subprogram can propagate, computing the set of exceptions that a subprogram may encounter is not a trivial task. This is a source of error in large Ada systems: for example, a subprogram may not be prepared to handle an exception propagated from another subprogram several layers lower in the call-tree. In a...

Containers and cargos arriving at port-of-entry are inspected using sensors and devices to detect drugs, weapons, nuclear materials and other illegal items. Measurement errors associated with the inspection process may result in higher percentage of misclassification of containers. In this paper, we propose and formulate three inspection policies for containers at port-of-entry assuming the pre...

ductivity have been obtained through the use of formal inspections of design and of code. Improvements are made possible by a systematic and eficient design and code verijicution process, with well-dejined roles for inspection participants. The manner in which inspection data is categorized and made suitable for process analysis is an important factor in attaining the improvements. It is shown ...