| 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 |
