Search Results - "McDermid, A J"

Formal Specification-Based Inspection for Verification of Programs by Shaoying Liu, Yuting Chen, Nagoya, F., McDermid, J. A.

“…Software inspection is a static analysis technique that is widely used for defect detection, but which suffers from a lack of rigor. In this paper, we address…”
Get full text

Generalized hypervigilance in fibromyalgia: evidence of perceptual amplification by McDermid, A J, Rollman, G B, McCain, G A

“…The hypervigilance model of pain perception states that chronic pain patients have a heightened sensitivity to pain (e.g. low threshold and tolerance) because…”
Get more information

The reliability of examination for tenderness in patients with myofascial pain, chronic fibromyalgia and controls by Tunks, E, McCain, G A, Hart, L E, Teasell, R W, Goldsmith, C H, Rollman, G B, McDermid, A J, DeShane, P J

“…To establish the reliability with which tenderness could be evaluated in patients with chronic myalgias, using dolorimetry and palpation. Three blinded…”
Get more information

The potential for a generic approach to certification of safety critical systems in the transportation sector by Papadopoulos, Y, A. McDermid, J

“…This paper investigates the potential for common treatment of certification of safety critical programmable electronic systems in the transportation…”
Get full text

The effect of litigation status on adjustment to whiplash injury by SWARTZMAN, L. C, TEASELL, R. W, SHAPIRO, A. P, MCDERMID, A. J

“…This retrospective study examined the effect of civil litigation on reports of pain and disability in chronic pain patients who sustained whiplash injuries…”
Get full text

The impact of contextual cues on the interpretation of and response to physical symptoms: a vignette approach by SWARTZMAN, L. G, MCDERMID, A. J

“…This study examined the impact of two contextual cues--stress and aging--on conceptualizations of, and health care responses to, physical symptoms…”
Get full text

A systematic approach to safety case maintenance by Kelly, T.P, McDermid, J.A

“…A crucial aspect of safety case management is the ongoing maintenance of the safety argument through life. Throughout the operational life of any system,…”
Get full text

Ten steps towards systematic requirements reuse by Lam, W., McDermid, J. A., Vickers, A. J.

“…Reusability is widely suggested to be a key to improving software development productivity and quality [1,2]. It has been further argued that reuse at the…”
Get full text

A practical language and toolkit for high-integrity tools by Toyn, I, Cattrall, D.M, McDermid, J.A, Jacob, J.L

“…This paper shows how a safe interface to heap storage, based on garbage collection as provided in implementations of pure functional languages, can be combined…”
Get full text

Learning from IPSE's mistakes by Brown, A.W., McDermid, J.A.

“…The authors argue that current work on integrated project support environments (IPSEs) is based on an inappropriate view of integration, and that IPSE…”
Get full text

High integrity software development: process and tool issues by Hutcheon, A.D., Jordan, D.T., McDermid, J.A., Pierce, R.H., Wand, I.C., Jepson, B.J.

“…YSE and BAe Defence have recently completed an unclassified study for MoD (PE) specifically concerned with high integrity software development process and tool…”
Get full text

Developing secure systems in a modular way by Shi, Q., McDermid, J.A., Moffett, J.D.

“…The authors present a new technique for development and verification of secure systems in a modular way. At the heart of the technique is a general approach…”
Get full text

A model-oriented approach to safety analysis using fault trees and a support system: Software reliability issues by LIU, S, MCDERMID, J. A

Get full text

An Iterative Approach for Development of Safety-Critical Software and Safety Arguments by Xiaocheng Ge, Paige, R F, McDermid, J A

“…The benefits ascribed to Agile methods are attractive to software engineers working in the safety-critical software domain. There is limited industrial…”
Get full text

The Safety Argument Manager: an integrated approach to the engineering and safety assessment of computer based systems by Wilson, S., McDermid, J.A., Kirkham, P.M., Fenelon, P.

“…This paper presents details of the Safety Argument Manager (SAM) a PC based tool to support safety case construction. SAM is novel in that it stresses total…”
Get full text

Investigating the effectiveness of object-oriented testing strategies using the mutation method by Kim, Sun-Woo, Clark, John A., McDermid, John A.

“…The mutation method assesses test quality by examining the ability of a test set to distinguish syntactic deviations representing specific types of faults from…”
Get full text

Supporting explicit interpretation of standards and guidance by Stephenson, Z.R, McDermid, J.A

“…The standards and guidance used in safety-critical systems development are subject to varying degrees of interpretation. This is most apparent when the…”
Get full text

Safety arguments, software and system reliability by McDermid, J.A.

“…The aim is to discuss the nature of safety arguments to consider the role of system and software reliability evaluation in these arguments, and to outline an…”
Get full text

Assurance of claims and evidence for aviation systems by Reinhardt, D.W, McDermid, J.A

“…The failure circumstances of complex aviation systems involving technologies such as software are dominated by systematic faults. However, systematic faults…”
Get full text

A case study using SAM-safety analysis of PES by McDermid, J.A., Shaoying Liu

“…The safety argument manager, SAM, is a tool to support the process of developing safety cases (Fodder, J. et al., see Proc. Safety-Critical Systems Symposium,…”
Get full text