Formal Specification-Based Inspection for Verification of Programs
Shaoying Liu, Yuting Chen, Nagoya, F., McDermid, J. A.
Published in IEEE transactions on software engineering (01.09.2012)
Published in IEEE transactions on software engineering (01.09.2012)
Get full text
Journal Article
The reliability of examination for tenderness in patients with myofascial pain, chronic fibromyalgia and controls
Tunks, E, McCain, G A, Hart, L E, Teasell, R W, Goldsmith, C H, Rollman, G B, McDermid, A J, DeShane, P J
Published in Journal of rheumatology (01.05.1995)
Get more information
Published in Journal of rheumatology (01.05.1995)
Journal Article
The effect of litigation status on adjustment to whiplash injury
Swartzman, L C, Teasell, R W, Shapiro, A P, McDermid, A J
Published in Spine (Philadelphia, Pa. 1976) (01.01.1996)
Published in Spine (Philadelphia, Pa. 1976) (01.01.1996)
Get more information
Journal Article
Structural Engineering and Software: Certainty, Uncertainty and Probability
McDermid, J A
Published in Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering (01.01.1995)
Published in Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering (01.01.1995)
Get full text
Book Review
Journal Article
Combined Security and Safety Risk Assessment - What Needs to be Done For ICS and The IOT
StJohn-Green, M, Piggin, R, McDermid, J A, Oates, R
Published in IET Conference Proceedings (21.10.2015)
Published in IET Conference Proceedings (21.10.2015)
Get full text
Conference Proceeding
Support for safety cases and safety arguments using SAM
Get full text
Journal Article
Conference Proceeding
A practical language and toolkit for high-integrity tools
Toyn, I, Cattrall, D.M, McDermid, J.A, Jacob, J.L
Published in The Journal of systems and software (01.06.1998)
Published in The Journal of systems and software (01.06.1998)
Get full text
Journal Article
High integrity software development: process and tool issues
Hutcheon, A.D., Jordan, D.T., McDermid, J.A., Pierce, R.H., Wand, I.C., Jepson, B.J.
Published in Microprocessors and microsystems (1995)
Published in Microprocessors and microsystems (1995)
Get full text
Journal Article
Developing secure systems in a modular way
Shi, Q., McDermid, J.A., Moffett, J.D.
Published in COMPASS '93: Proceedings of the Eighth Annual Conference on Computer (1993)
Published in COMPASS '93: Proceedings of the Eighth Annual Conference on Computer (1993)
Get full text
Conference Proceeding
Journal Article
The Safety Argument Manager: an integrated approach to the engineering and safety assessment of computer based systems
Wilson, S., McDermid, J.A., Kirkham, P.M., Fenelon, P.
Published in Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems (1996)
Published in Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems (1996)
Get full text
Conference Proceeding