| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige |
Large-scale Complex IT Systems  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zoë R. Stephenson, Katrina Attwood, John A. McDermid |
Product-Line Models to Address Requirements Uncertainty, Volatility and Risk. |
Relating Software Requirements and Architectures |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaocheng Ge, Richard F. Paige, John A. McDermid |
Model-based Failure Failure Analysis of Business Process. |
ICEIS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stuart Hutchesson, John A. McDermid |
Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations. |
SPLC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan E. Tapiador, Mudhakar Srivatsa, John A. Clark, John A. McDermid |
Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing. |
Networking Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoying Liu, John A. McDermid, Yuting Chen |
A Rigorous Method for Inspection of Model-Based Formal Specifications. |
IEEE Transactions on Reliability |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart Hutchesson, John A. McDermid |
Development of High-Integrity Software Product Lines Using Model Transformation. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Clark, Juan E. Tapiador, John A. McDermid, Pau-Chen Cheng, Dakshi Agrawal, Natalie Ivanic, Dave Slogget |
Risk based Access Control with Uncertain and Time-dependent Sensitivity. |
SECRYPT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Xiaocheng Ge, Richard F. Paige, John A. McDermid |
Probabilistic Failure Propagation and Transformation Analysis. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
failure, probabilistic analysis, component-based system, safety analysis |
| 1 | Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska |
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaocheng Ge, Richard F. Paige, John A. McDermid |
Domain analysis on an electronic health records system. |
FOSD |
2009 |
DBLP DOI BibTeX RDF |
feature oriented domain analysis, healthcare domain, electronic health record |
| 1 | Alan W. Brown, John A. McDermid |
The Art and Science of Software Architecture. |
Int. J. Cooperative Inf. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frantz Iwu, Andy Galloway, John A. McDermid, Ian Toyn |
Integrating safety and formal analyses using UML and PFS. |
Rel. Eng. & Sys. Safety |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan W. Brown, John A. McDermid |
The Art and Science of Software Architecture. |
ECSA |
2007 |
DBLP DOI BibTeX RDF |
Software engineering, Software architecture, Systems engineering |
| 1 | Zoë R. Stephenson, John A. McDermid |
Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Chivers, John A. McDermid |
Refactoring service-based systems: how to avoid trusting a workflow service. |
Concurrency and Computation: Practice and Experience |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. McDermid, Andy Galloway |
Three Perspectives in Formal Engineering. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoë R. Stephenson, John A. McDermid, Jason Choy |
Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob Weaver, Georgios Despotou, Tim Kelly, John A. McDermid |
Combining software evidence: arguments and assurance. |
ACM SIGSOFT Software Engineering Notes |
2005 |
DBLP DOI BibTeX RDF |
requirements, safety, argumentation, evidence |
| 1 | Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid |
An Automated Approach to Specification-Based Program Inspection. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson |
High-integrity extreme programming. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
extreme programming, agile development, high-integrity systems |
| 1 | Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn |
On the Formal Development of Safety-Critical Software. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil C. Audsley, Iain Bate, Steven Crook-Dawkins, John A. McDermid |
Improving certification capability through automatic code generation. |
IFIP Congress Topical Sessions |
2004 |
DBLP BibTeX RDF |
|
| 1 | Iain Bate, John A. McDermid, Peter Nightingale |
Establishing timing requirements for control loops in real-time systems. |
Microprocessors and Microsystems |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tse-Min Lin, John A. McDermid |
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
behavioural subtyping, supertype abstraction, object-oriented programming, SPARK, modular reasoning |
| 1 | Philippa Conmy, Mark Nicholson, John A. McDermid |
Safety Assurance Contracts for Integrated Modular Avionics. |
SCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Iain Bate, Richard Hawkin, John A. McDermid |
A Contract-based Approach to Designing Safe Systems. |
SCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | John A. McDermid |
Trends in Systems Safety. |
SCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Eman Nasr, John A. McDermid, Guillem Bernat |
Eliciting and Specifying Requirements with Use Cases for Embedded Systems. |
WORDS |
2002 |
DBLP DOI BibTeX RDF |
eliciting requirements, specifying requirements, thrust reverser control system, embedded systems, use cases, industrial case study |
| 1 | Eman Nasr, John A. McDermid, Guillem Bernat |
A Technique for Managing Complexity of Use Cases for Large Complex Embedded Systems. (PDF / PS) |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
hierarchy of systems, large complex systems, thrust reverser control system, embedded systems, requirements engineering, use cases, industrial case study |
| 1 | John A. McDermid |
Software Hazard and Safety Analysis. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid |
Use of Modern Processors in Safety-Critical Applications. |
Comput. J. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. McDermid |
Software Safety: Where's the Evidence? |
SCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Philippa Conmy, John A. McDermid |
High Level Failure Analysis for Integrated Modular Avionics. |
SCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid |
Automated test-data generation for exception conditions. |
Softw., Pract. Exper. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Tse-Min Lin, John A. McDermid |
(True) Polymorphism in SPARK2000. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
Ada, Object-Oriented Programming, Polymorphism, SPARK |
| 1 | Peter A. Lindsay, John A. McDermid, David J. Tombs |
Deriving Quantified Safety Requirements in Complex Systems. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Stephenson, Darren L. Buttle, John A. McDermid |
Extending Commonality Analysis for Embedded Control System Families. |
IW-SAPF |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. McDermid |
Complexity: Concept, Causes and Control. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
internal sources, modern hardware, super-scalar processors, external sources, complexity management, strict dependability requirements, software engineering, embedded systems, risk, product families, computer based systems |
| 1 | John A. McDermid, Keith H. Bennett |
Software engineering research: A critical appraisal. |
IEE Proceedings - Software |
1999 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1999 |
DBLP BibTeX RDF |
|
| 1 | Yiannis Papadopoulos, John A. McDermid |
Hierarchically Performed Hazard Origin and Propagation Studies. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim P. Kelly, John A. McDermid |
A Systematic Approach to Safety Case Maintenance. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy Talbert, John A. McDermid |
The Cost of COTS (Interview). |
IEEE Computer |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. (PDF / PS) |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid |
An Automated Framework for Structural Test-Data Generation. (PDF / PS) |
ASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Lam, John A. McDermid, Andrew Vickers |
Ten Steps Towards Systematic Requirements Reuse. |
Requir. Eng. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Lam, John A. McDermid, Andrew Vickers |
Ten Steps Towards Systematic Requirements Reuse. (PDF / PS) |
RE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Lam, John A. McDermid |
A Summary of Domain Analysis Experience by Way of Heuristics. |
SSR |
1997 |
DBLP DOI BibTeX RDF |
domain engineering, domain analysis, requirements reuse |
| 1 | Shaoying Liu, John A. McDermid |
A Model-Oriented Approach to Safety Analysis Using Fault Trees and a Support System. |
Journal of Systems and Software |
1996 |
DBLP BibTeX RDF |
|
| 1 | Jonathan D. Moffett, Jon G. Hall, Andrew Coombes, John A. McDermid |
A Model for a Causal Logic for Requirements Engineering. |
Requir. Eng. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. McDermid, Shaoying Liu |
A Case Study Using SAM - Safety Analysis of PES. (PDF / PS) |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
reliability, dependability, tool support, safety analysis, method integration, safety case |
| 1 | Stephen P. Wilson, John A. McDermid, Clive H. Pygott, David J. Tombs |
Assessing Complex Computer Based Systems using the Goal Structuring Notation. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
Goal Structuring Notation, Reliability, Dependability, Assessment, Safety, Argument |
| 1 | Ian Toyn, John A. McDermid |
CADiZ: An Architecture for Z Tools and its Implementation. |
Softw., Pract. Exper. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen P. Wilson, John A. McDermid |
Integrated Analysis of Complex Safety Critical Systems. |
Comput. J. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Duffy, Craig MacNish, John A. McDermid, Philip Morris |
A Framework for Requirements Analysis Using Automated Reasoning |
CAiSE |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Joanne M. Atlee, John A. McDermid |
Integrating requirements analysis and safety analysis. (PDF / PS) |
RE |
1995 |
DBLP DOI BibTeX RDF |
system safety requirements, design description, formal specification, systems analysis, requirements analysis, requirements specification, safety critical systems, safety-critical software, safety critical software, functional requirements, safety analysis, high level design |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon G. Hall, John A. McDermid |
Towards a Z Method: Axiomatic Specification in Z. |
Z User Workshop |
1994 |
DBLP BibTeX RDF |
|
| 1 | Peter Fenelon, John A. McDermid |
An integrated tool set for software safety analysis. |
Journal of Systems and Software |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Shi, John A. McDermid |
Constructing Secure Distributed Systems Using Components. |
SRDS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Shaoying Liu, John A. McDermid |
Dynamic Sets and Their Application in VDM. |
SAC |
1993 |
DBLP DOI BibTeX RDF |
formal specification, VDM, structured method, dynamic set |
| 1 | Itana Maria de Souza Gimenes, John A. McDermid |
Investigating and Formalising the Development of HIS Within PSEEs. |
ISPW |
1993 |
DBLP BibTeX RDF |
|
| 1 | Alan W. Brown, John A. McDermid |
Learning from IPSE's Mistakes. |
IEEE Software |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | L. M. Barroca, John A. McDermid |
Formal Methods: Use and Relevance for the Development of Safety-Critical Systems. |
Comput. J. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, John A. McDermid, John E. Dobson |
On the Meaning of Safety and Security. |
Comput. J. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Marcos Lins de Vasconcelos, John A. McDermid |
Incremental processing of Z specifications. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Andrew Coombes, John A. McDermid |
Using Diagrams to Give a Formal Specification of Timing Constraints in Z. |
Z User Workshop |
1992 |
DBLP BibTeX RDF |
|
| 1 | Philip Morris, John A. McDermid |
Formalizing and Validating Complex Security Requirements. |
DBSec |
1992 |
DBLP BibTeX RDF |
|
| 1 | John A. McDermid, Qi Shi |
A Formal Model of Security Dependency for Analysis and Testing of Secure Systems. |
CSFW |
1991 |
DBLP BibTeX RDF |
|
| 1 | Philip Morris, John A. McDermid |
The Structure of Permissions: A Normative Framework for Access Rights. |
DBSec |
1991 |
DBLP BibTeX RDF |
|
| 1 | David Jordan, John A. McDermid, Ian Toyn |
CADIZ - Computer Aided Design in Z. |
Z User Workshop |
1990 |
DBLP BibTeX RDF |
|
| 1 | Andrew Coombes, John A. McDermid |
A Tool for Defining the Architecture of Z Specifications. |
Z User Workshop |
1990 |
DBLP BibTeX RDF |
|
| 1 | Peter J. Whysall, John A. McDermid |
An Approach to Object-Oriented Specification Using Z. |
Z User Workshop |
1990 |
DBLP BibTeX RDF |
|
| 1 | Ernest S. Hocking, John A. McDermid |
Towards an Object Oriented Development Environment for Secure Applications. |
ESORICS |
1990 |
DBLP BibTeX RDF |
|
| 1 | John E. Dobson, John A. McDermid |
A Framework for Expressing Models of Security Policy. |
IEEE Symposium on Security and Privacy |
1989 |
DBLP BibTeX RDF |
|
| 1 | Carlo Ghezzi, John A. McDermid (eds.) |
ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings |
ESEC |
1989 |
DBLP BibTeX RDF |
|
| 1 | John A. McDermid, Ernest S. Hocking |
Security Policies for Integrated Project Support Environments. |
DBSec |
1989 |
DBLP BibTeX RDF |
|
| 1 | John E. Dobson, John A. McDermid |
Security Models and Enterprise Models. |
DBSec |
1988 |
DBLP BibTeX RDF |
|
| 1 | John A. McDermid, G. Morgan |
Low Level Synchronisation Problems in Digital Systems. |
FTRTFT |
1988 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")