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

Volltext

Generalized hypervigilance in fibromyalgia : evidence of perceptual amplification von MCDERMID, A. J, ROLLMAN, G. B, MCCAIN, G. A

Volltext

ESEC '89: 2nd European Software Engineering Conference University of Warwick, Coventry, UK September 11–15, 1989 Proceedings von Ghezzi, C, McDermid, J. A

Volltext

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

Volltext

Hierarchically Performed Hazard Origin and Propagation Studies von Papadopoulos, Yiannis, McDermid, John A.

Volltext

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

Volltext

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

Volltext

A Systematic Approach to Safety Case Maintenance von Kelly, T. P., McDermid, J. A.

Volltext

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

Volltext

Support for safety cases and safety arguments using SAM von McDermid, John A.

Volltext

(True) Polymorphism in SPARK2000 von Lin, Tse-Min, McDermid, John A.

Volltext

Critically assessing the state of the art in CPU-based local robustness verification von König, H.M.T., Bosman, A.W., Hoos, H.H., Rijn, J.N. van

Volltext bestellen

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

Volltext

Formal Methods: Use and Relevance for the Development of Safety-Critical Systems von Barroca, L. M., McDermid, J. A.

Volltext

Issues in developing software for safety critical systems von McDermid, John A.

Volltext

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

Volltext

Validation of concurrent Ada™ programs using symbolic execution von Morasca, Sandro, Pezzè, Mauro

Volltext

In praise of architects von McDermid, JA

Volltext

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

Volltext

Integrated analysis of complex safety critical systems von WILSON, S. P, MCDERMID, J. A

Volltext