2007 | ||
---|---|---|
71 | EE | Alan W. Brown, John A. McDermid: The Art and Science of Software Architecture. ECSA 2007: 237-256 |
70 | EE | Zoë R. Stephenson, John A. McDermid: Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. SEW 2007: 53-62 |
69 | EE | Alan W. Brown, John A. McDermid: The Art and Science of Software Architecture. Int. J. Cooperative Inf. Syst. 16(3/4): 439-466 (2007) |
2006 | ||
68 | EE | John A. McDermid, Andy Galloway: Three Perspectives in Formal Engineering. ICFEM 2006: 35-54 |
67 | EE | Zoë R. Stephenson, John A. McDermid, Jason Choy: Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. SEW 2006: 123-132 |
66 | EE | Howard Chivers, John A. McDermid: Refactoring service-based systems: how to avoid trusting a workflow service. Concurrency and Computation: Practice and Experience 18(10): 1255-1275 (2006) |
2005 | ||
65 | EE | Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid: An Automated Approach to Specification-Based Program Inspection. ICFEM 2005: 421-434 |
64 | EE | Richard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson: High-integrity extreme programming. SAC 2005: 1518-1523 |
63 | EE | Rob Weaver, Georgios Despotou, Tim Kelly, John A. McDermid: Combining software evidence: arguments and assurance. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
2004 | ||
62 | Neil C. Audsley, Iain Bate, Steven Crook-Dawkins, John A. McDermid: Improving certification capability through automatic code generation. IFIP Congress Topical Sessions 2004: 511-520 | |
2003 | ||
61 | EE | Tse-Min Lin, John A. McDermid: A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. Ada-Europe 2003: 309-321 |
60 | EE | Iain Bate, Richard Hawkin, John A. McDermid: A Contract-based Approach to Designing Safe Systems. SCS 2003: 25-36 |
59 | EE | Philippa Conmy, Mark Nicholson, John A. McDermid: Safety Assurance Contracts for Integrated Modular Avionics. SCS 2003: 69-78 |
58 | EE | Iain Bate, John A. McDermid, Peter Nightingale: Establishing timing requirements for control loops in real-time systems. Microprocessors and Microsystems 27(4): 159-169 (2003) |
2002 | ||
57 | EE | John A. McDermid: Software Hazard and Safety Analysis. FTRTFT 2002: 23-36 |
56 | EE | John A. McDermid: Trends in Systems Safety. SCS 2002: 3-8 |
55 | EE | Eman Nasr, John A. McDermid, Guillem Bernat: A Technique for Managing Complexity of Use Cases for Large Complex Embedded Systems. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 225-232 |
54 | EE | Eman Nasr, John A. McDermid, Guillem Bernat: Eliciting and Specifying Requirements with Use Cases for Embedded Systems. WORDS 2002: 350-358 |
2001 | ||
53 | EE | Karen Allenby, Simon Burton, Darren L. Buttle, John A. McDermid, John Murdoch, Alan Stephenson, Mike Bardill, Stuart Hutchesson: A Family-Oriented Software Development Process for Engine Controllers. PROFES 2001: 210-226 |
52 | EE | John A. McDermid: Software Safety: Where's the Evidence? SCS 2001: 1-6 |
51 | EE | Philippa Conmy, John A. McDermid: High Level Failure Analysis for Integrated Modular Avionics. SCS 2001: 13-22 |
50 | EE | Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid: Use of Modern Processors in Safety-Critical Applications. Comput. J. 44(6): 531-543 (2001) |
49 | Sun-Woo Kim, John A. Clark, John A. McDermid: Investigating the effectiveness of object-oriented testing strategies using the mutation method. Softw. Test., Verif. Reliab. 11(3): 207-225 (2001) | |
2000 | ||
48 | Tse-Min Lin, John A. McDermid: (True) Polymorphism in SPARK2000. Ada-Europe 2000: 252-265 | |
47 | EE | John A. McDermid: Complexity: Concept, Causes and Control. ICECCS 2000: 2- |
46 | EE | Alan Stephenson, Darren L. Buttle, John A. McDermid: Extending Commonality Analysis for Embedded Control System Families. IW-SAPF 2000: 217-224 |
45 | EE | Peter A. Lindsay, John A. McDermid, David J. Tombs: Deriving Quantified Safety Requirements in Complex Systems. SAFECOMP 2000: 117-130 |
44 | Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid: Automated test-data generation for exception conditions. Softw., Pract. Exper. 30(1): 61-79 (2000) | |
1999 | ||
43 | EE | Tim P. Kelly, John A. McDermid: A Systematic Approach to Safety Case Maintenance. SAFECOMP 1999: 13-26 |
42 | EE | Yiannis Papadopoulos, John A. McDermid: Hierarchically Performed Hazard Origin and Propagation Studies. SAFECOMP 1999: 139-152 |
41 | Darren L. Buttle, John A. Clark, John A. McDermid, Alan Stephenson, Nigel J. Tracey: CONVERSE: A change-oriented process for engine controllers. IEE Proceedings - Software 146(3): 130-136 (1999) | |
40 | John A. McDermid, Keith H. Bennett: Software engineering research: A critical appraisal. IEE Proceedings - Software 146(4): 179-186 (1999) | |
1998 | ||
39 | EE | Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid: An Automated Framework for Structural Test-Data Generation. ASE 1998: 285-288 |
38 | EE | John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel Tracey, Samuel H. Valentine: Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM 1998: 76- |
37 | Nancy Talbert, John A. McDermid: The Cost of COTS (Interview). IEEE Computer 31(6): 46-52 (1998) | |
36 | EE | Ian Toyn, David M. Cattrall, John A. McDermid, Jeremy L. Jacob: A practical language and toolkit for high-integrity tools. Journal of Systems and Software 41(3): 161-173 (1998) |
1997 | ||
35 | EE | W. Lam, John A. McDermid, Andrew Vickers: Ten Steps Towards Systematic Requirements Reuse. RE 1997: 6-15 |
34 | EE | W. Lam, John A. McDermid: A Summary of Domain Analysis Experience by Way of Heuristics. SSR 1997: 54-64 |
33 | W. Lam, John A. McDermid, Andrew Vickers: Ten Steps Towards Systematic Requirements Reuse. Requir. Eng. 2(2): 102-113 (1997) | |
1996 | ||
32 | EE | John A. McDermid, Shaoying Liu: A Case Study Using SAM - Safety Analysis of PES. APSEC 1996: 217- |
31 | EE | Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Peter Fenelon: The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems. ECBS 1996: 198-205 |
30 | EE | Stephen P. Wilson, John A. McDermid, C. H. Pygott, David J. Tombs: Assessing Complex Computer Based Systems using the Goal Structuring Notation. ICECCS 1996: 498-505 |
29 | Shaoying Liu, John A. McDermid: A Model-Oriented Approach to Safety Analysis Using Fault Trees and a Support System. Journal of Systems and Software 35(2): 151-164 (1996) | |
28 | Jonathan D. Moffett, Jon G. Hall, Andrew Coombes, John A. McDermid: A Model for a Causal Logic for Requirements Engineering. Requir. Eng. 1(1): 27-46 (1996) | |
1995 | ||
27 | David A. Duffy, Craig MacNish, John A. McDermid, Philip Morris: A Framework for Requirements Analysis Using Automated Reasoning CAiSE 1995: 68-81 | |
26 | EE | Joanne M. Atlee, John A. McDermid: Integrating requirements analysis and safety analysis. RE 1995: 158-159 |
25 | Stephen P. Wilson, John A. McDermid: Integrated Analysis of Complex Safety Critical Systems. Comput. J. 38(10): 765-776 (1995) | |
24 | Ian Toyn, John A. McDermid: CADiZ: An Architecture for Z Tools and its Implementation. Softw., Pract. Exper. 25(3): 305-330 (1995) | |
1994 | ||
23 | A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson: Tool Support for High Integrity Ada Software. Ada-Europe 1994: 63-75 | |
22 | Jon G. Hall, John A. McDermid: Towards a Z Method: Axiomatic Specification in Z. Z User Workshop 1994: 213-229 | |
1993 | ||
21 | Itana Maria de Souza Gimenes, John A. McDermid: Investigating and Formalising the Development of HIS Within PSEEs. ISPW 1993: 90-94 | |
20 | EE | Shaoying Liu, John A. McDermid: Dynamic Sets and Their Application in VDM. SAC 1993: 187-192 |
19 | Qi Shi, John A. McDermid: Constructing Secure Distributed Systems Using Components. SRDS 1993: 143-152 | |
18 | EE | Peter Fenelon, John A. McDermid: An integrated tool set for software safety analysis. Journal of Systems and Software 21(3): 279-290 (1993) |
1992 | ||
17 | Philip Morris, John A. McDermid: Formalizing and Validating Complex Security Requirements. DBSec 1992: 113-124 | |
16 | Alexandre Marcos Lins de Vasconcelos, John A. McDermid: Incremental processing of Z specifications. FORTE 1992: 53-69 | |
15 | Andrew Coombes, John A. McDermid: Using Diagrams to Give a Formal Specification of Timing Constraints in Z. Z User Workshop 1992: 119-130 | |
14 | Alan Burns, John A. McDermid, John E. Dobson: On the Meaning of Safety and Security. Comput. J. 35(1): 3-15 (1992) | |
13 | L. M. Barroca, John A. McDermid: Formal Methods: Use and Relevance for the Development of Safety-Critical Systems. Comput. J. 35(6): 579-599 (1992) | |
12 | Alan W. Brown, John A. McDermid: Learning from IPSE's Mistakes. IEEE Software 9(2): 23-28 (1992) | |
1991 | ||
11 | John A. McDermid, Qi Shi: A Formal Model of Security Dependency for Analysis and Testing of Secure Systems. CSFW 1991: 188-200 | |
10 | Philip Morris, John A. McDermid: The Structure of Permissions: A Normative Framework for Access Rights. DBSec 1991: 77-97 | |
1990 | ||
9 | Ernest S. Hocking, John A. McDermid: Towards an Object Oriented Development Environment for Secure Applications. ESORICS 1990: 191-200 | |
8 | Peter J. Whysall, John A. McDermid: An Approach to Object-Oriented Specification Using Z. Z User Workshop 1990: 193-215 | |
7 | Andrew Coombes, John A. McDermid: A Tool for Defining the Architecture of Z Specifications. Z User Workshop 1990: 77-92 | |
6 | David Jordan, John A. McDermid, Ian Toyn: CADIZ - Computer Aided Design in Z. Z User Workshop 1990: 93-104 | |
1989 | ||
5 | Carlo Ghezzi, John A. McDermid: ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings Springer 1989 | |
4 | John A. McDermid, Ernest S. Hocking: Security Policies for Integrated Project Support Environments. DBSec 1989: 41-74 | |
3 | John E. Dobson, John A. McDermid: A Framework for Expressing Models of Security Policy. IEEE Symposium on Security and Privacy 1989: 229-241 | |
1988 | ||
2 | John E. Dobson, John A. McDermid: Security Models and Enterprise Models. DBSec 1988: 1-39 | |
1 | John A. McDermid, G. Morgan: Low Level Synchronisation Problems in Digital Systems. FTRTFT 1988: 139-141 |