John A. McDermid

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

71EEAlan W. Brown, John A. McDermid: The Art and Science of Software Architecture. ECSA 2007: 237-256
70EEZoë R. Stephenson, John A. McDermid: Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. SEW 2007: 53-62
69EEAlan W. Brown, John A. McDermid: The Art and Science of Software Architecture. Int. J. Cooperative Inf. Syst. 16(3/4): 439-466 (2007)
68EEJohn A. McDermid, Andy Galloway: Three Perspectives in Formal Engineering. ICFEM 2006: 35-54
67EEZoë R. Stephenson, John A. McDermid, Jason Choy: Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. SEW 2006: 123-132
66EEHoward 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)
65EEShaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid: An Automated Approach to Specification-Based Program Inspection. ICFEM 2005: 421-434
64EERichard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson: High-integrity extreme programming. SAC 2005: 1518-1523
63EERob Weaver, Georgios Despotou, Tim Kelly, John A. McDermid: Combining software evidence: arguments and assurance. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
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
61EETse-Min Lin, John A. McDermid: A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. Ada-Europe 2003: 309-321
60EEIain Bate, Richard Hawkin, John A. McDermid: A Contract-based Approach to Designing Safe Systems. SCS 2003: 25-36
59EEPhilippa Conmy, Mark Nicholson, John A. McDermid: Safety Assurance Contracts for Integrated Modular Avionics. SCS 2003: 69-78
58EEIain Bate, John A. McDermid, Peter Nightingale: Establishing timing requirements for control loops in real-time systems. Microprocessors and Microsystems 27(4): 159-169 (2003)
57EEJohn A. McDermid: Software Hazard and Safety Analysis. FTRTFT 2002: 23-36
56EEJohn A. McDermid: Trends in Systems Safety. SCS 2002: 3-8
55EEEman 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
54EEEman Nasr, John A. McDermid, Guillem Bernat: Eliciting and Specifying Requirements with Use Cases for Embedded Systems. WORDS 2002: 350-358
53EEKaren 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
52EEJohn A. McDermid: Software Safety: Where's the Evidence? SCS 2001: 1-6
51EEPhilippa Conmy, John A. McDermid: High Level Failure Analysis for Integrated Modular Avionics. SCS 2001: 13-22
50EEIain 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)
48 Tse-Min Lin, John A. McDermid: (True) Polymorphism in SPARK2000. Ada-Europe 2000: 252-265
47EEJohn A. McDermid: Complexity: Concept, Causes and Control. ICECCS 2000: 2-
46EEAlan Stephenson, Darren L. Buttle, John A. McDermid: Extending Commonality Analysis for Embedded Control System Families. IW-SAPF 2000: 217-224
45EEPeter 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)
43EETim P. Kelly, John A. McDermid: A Systematic Approach to Safety Case Maintenance. SAFECOMP 1999: 13-26
42EEYiannis 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)
39EENigel Tracey, John A. Clark, Keith Mander, John A. McDermid: An Automated Framework for Structural Test-Data Generation. ASE 1998: 285-288
38EEJohn 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)
36EEIan 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)
35EEW. Lam, John A. McDermid, Andrew Vickers: Ten Steps Towards Systematic Requirements Reuse. RE 1997: 6-15
34EEW. 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)
32EEJohn A. McDermid, Shaoying Liu: A Case Study Using SAM - Safety Analysis of PES. APSEC 1996: 217-
31EEStephen 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
30EEStephen 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)
27 David A. Duffy, Craig MacNish, John A. McDermid, Philip Morris: A Framework for Requirements Analysis Using Automated Reasoning CAiSE 1995: 68-81
26EEJoanne 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)
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
21 Itana Maria de Souza Gimenes, John A. McDermid: Investigating and Formalising the Development of HIS Within PSEEs. ISPW 1993: 90-94
20EEShaoying 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
18EEPeter Fenelon, John A. McDermid: An integrated tool set for software safety analysis. Journal of Systems and Software 21(3): 279-290 (1993)
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)
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
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
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
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

Coauthor Index

1Karen Allenby [53]
2Joanne M. Atlee [26]
3Neil C. Audsley [62]
4Mike Bardill [53]
5L. M. Barroca [13]
6Iain Bate (I. J. Bate) [50] [58] [60] [62]
7Keith H. Bennett [40]
8Guillem Bernat [54] [55]
9Alan W. Brown [12] [69] [71]
10Alan Burns [14]
11Simon Burton [38] [53]
12Darren L. Buttle [41] [46] [53]
13David M. Cattrall [36]
14Yuting Chen [65]
15Howard Chivers [64] [66]
16Jason Choy [67]
17John A. Clark (John Andrew Clark) [38] [39] [41] [44] [49]
18Philippa Conmy [50] [51] [59]
19Andrew Coombes [7] [15] [28]
20Steven Crook-Dawkins [62]
21Georgios Despotou [63]
22John E. Dobson [2] [3] [14]
23David A. Duffy [27]
24Peter Fenelon [18] [31]
25Andy Galloway [38] [68]
26Carlo Ghezzi [5]
27Itana Maria de Souza Gimenes [21]
28Masashi Goya [65]
29Jon G. Hall [22] [28]
30Richard Hawkin [60]
31Ernest S. Hocking [4] [9]
32A. D. Hutcheon [23]
33Stuart Hutchesson [53]
34Jeremy L. Jacob (Jeremy Jacob) [36]
35B. J. Jepson [23]
36D. T. Jordan [23]
37David Jordan [6]
38Tim Kelly (Tim P. Kelly) [43] [50] [63]
39Sun-Woo Kim [49]
40P. M. Kirkham [31]
41W. Lam [33] [34] [35]
42Tse-Min Lin [48] [61]
43Peter A. Lindsay [45]
44Shaoying Liu [20] [29] [32] [65]
45Craig MacNish [27]
46Keith Mander [39] [44]
47Jonathan D. Moffett [28]
48G. Morgan [1]
49Philip Morris [10] [17] [27]
50John Murdoch [53]
51Fumiko Nagoya [65]
52Eman Nasr [54] [55]
53Mark Nicholson [59]
54Peter Nightingale [58]
55Richard F. Paige [64]
56Yiannis Papadopoulos [42]
57R. H. Pierce [23]
58C. H. Pygott [30]
59Qi Shi [11] [19]
60Alan Stephenson [41] [46] [53]
61Zoë R. Stephenson [64] [67] [70]
62Nancy Talbert [37]
63David J. Tombs [30] [45]
64Ian Toyn [6] [24] [36] [38]
65Nigel Tracey [38] [39] [44]
66Nigel J. Tracey [41]
67Samuel H. Valentine [38]
68Alexandre Marcos Lins de Vasconcelos [16]
69Andrew Vickers [33] [35]
70I. C. Wand [23]
71Rob Weaver [63]
72Peter J. Whysall [8]
73Stephen P. Wilson [25] [30] [31]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)