John McDermid
Title
Cited by
Cited by
Year
Towards operational measures of computer security
B Littlewood, S Brocklehurst, N Fenton, P Mellor, S Page, D Wright, ...
Journal of computer security 2 (2-3), 211-229, 1993
2951993
Software engineer's reference book
JA McDermid
Elsevier, 2013
2862013
An automated framework for structural test-data generation
N Tracey, J Clark, K Mander, J McDermid
Proceedings 13th IEEE International Conference on Automated Softwareá…, 1998
2761998
Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure
Y Papadopoulos, J McDermid, R Sasse, G Heiner
Reliability Engineering & System Safety 71 (3), 229-247, 2001
2532001
Hierarchically performed hazard origin and propagation studies
Y Papadopoulos, JA McDermid
International Conference on Computer Safety, Reliability, and Security, 139-152, 1999
2431999
Large-scale complex IT systems
I Sommerville, D Cliff, R Calinescu, J Keen, T Kelly, M Kwiatkowska, ...
arXiv preprint arXiv:1109.3444, 2011
2312011
Safety case construction and reuse using patterns
TP Kelly, JA McDermid
Safe Comp 97, 55-69, 1997
2011997
Towards integrated safety analysis and design
P Fenelon, JA McDermid, M Nicolson, DJ Pumfrey
ACM SIGAPP Applied Computing Review 2 (1), 21-32, 1994
1951994
Class mutation: Mutation testing for object-oriented programs
S Kim, JA Clark, JA McDermid
Proc. Net. ObjectDays, 9-12, 2000
1772000
Automated test‐data generation for exception conditions
N Tracey, J Clark, K Mander, J McDermid
Software: Practice and Experience 30 (1), 61-79, 2000
1642000
An integrated tool set for software safety analysis
P Fenelon, JA McDermid
Journal of Systems and Software 21 (3), 279-290, 1993
1521993
Formal methods: Use and relevance for the development of safety-critical systems
LM Barroca, JA McDermid
The Computer Journal 35 (6), 579-599, 1992
1361992
Ten steps towards systematic requirements reuse
W Lam, JA McDermid, AJ Vickers
Requirements Engineering 2 (2), 102-113, 1997
1261997
Experience with the application of HAZOP to computer-based systems
JA McDermid, M Nicholson, DJ Pumfrey, P Fenelon
COMPASS'95 Proceedings of the Tenth Annual Conference on Computer Assuranceá…, 1995
1251995
Life cycle support in the ADA environment
J McDermid, K Ripken
CUP Archive, 1984
1171984
The rigorous generation of Java mutation operators using HAZOP
S Kim, J Clark, J McDermid
Informe tÚcnico, The University of York, 1999
1151999
Software safety: where's the evidence?
JA McDermid
Proceedings of the Sixth Australian workshop on Safety critical systems andá…, 2001
1112001
Software engineering environments: automated support for software engineering
AW Brown, AN Earl, J McDermid
McGraw-Hill, 1992
1081992
A development of hazard analysis to aid software design
JA McDermid, DJ Pumfrey
Proceedings of COMPASS'94-1994 IEEE 9th Annual Conference on Computerá…, 1994
1061994
On the meaning of safety and security
A Burns, J McDermid, J Dobson
The Computer Journal 35 (1), 3-15, 1992
1041992
The system can't perform the operation now. Try again later.
Articles 1–20