Search Results - McDermid, J.A

Refine Results
  1. 1
    A systematic approach to safety case maintenance

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Defence Standard 00-56 Issue 5: Concepts, Principles and Pragmatics

    Defence Standard 00-56 Issue 5: Concepts, Principles and Pragmatics by McDermid, J.A, Williams, P

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    How did systems get so safe without adequate analysis methods?

    How did systems get so safe without adequate analysis methods? by McDermid, J.A, Rae, A.J

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Probative Blindness: How Safety Activity can fail to Update Beliefs about Safety

    Probative Blindness: How Safety Activity can fail to Update Beliefs about Safety by Rae, A.J, McDermid, J.A, Alexander, R.D, Nicholson, M

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Supporting explicit interpretation of standards and guidance

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

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    A practical language and toolkit for high-integrity tools

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Learning from IPSE's mistakes

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

    Published in IEEE software
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Safety arguments, software and system reliability

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

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Assurance of claims and evidence for aviation systems

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

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Safety specification of the active traffic management control system for English motorways

    Safety specification of the active traffic management control system for English motorways by Arlow, A.J, Duffy, C.J, McDermid, J.A

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Health modelling for agility in safety-critical systems development

    Health modelling for agility in safety-critical systems development by Stephenson, Z.R, McDermid, J.A, Ward, A.G

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    A case study using SAM-safety analysis of PES

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

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Complexity: concept, causes and control

    Complexity: concept, causes and control by McDermid, J.A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Secure composition of systems

    Secure composition of systems by McDermid, J.A., Shi, Q.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    A framework for expressing models of security policy

    A framework for expressing models of security policy by Dobson, J.E., McDermid, J.A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Applying noninterference to composition of systems: a more practical approach

    Applying noninterference to composition of systems: a more practical approach by Qi Shi, McDermid, J.A., Moffett, J.D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    High integrity software development: process and tool issues

    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.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    A formal approach for security evaluation

    A formal approach for security evaluation by McDermid, J.A., Shi, Q.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Assessing complex computer based systems using the Goal Structuring Notation

    Assessing complex computer based systems using the Goal Structuring Notation by Wilson, S.P., McDermid, J.A., Pygott, C.H., Tombs, D.J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    A formal model of security dependency for analysis and testing of secure systems

    A formal model of security dependency for analysis and testing of secure systems by McDermid, J.A., Qi Shi

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: