Papers authored by John Alexander McDermid
Refreshing results…
A Safety Change Oriented Process for Safety-Critical Systems
Upload
,
P. Wilkinson
Modelling Complex Design Processes with Role Activity Diagrams
Upload
,
Alan Stephenson,
Nigel J. Tracey
CONVERSE: A change-oriented process for engine controllers.
Upload
The Rigorous Generation of Java Mutation Operators using HAZOP
Upload
,
P. Wilkinson
Tailoring Generic Systems Engineering Processes
Upload
Dependability Evaluation using a Multi-Crieria Decision Analysis Procedure
Upload
Dynamic Sets and Their Application in VDM
Download from www.researchgate.net
,
A. Galloway,
S. Burton,
John Andrew Clark,
I. Toyn,
N. Tracey,
S. Valentine
Towards industrially applicable formal methods
Upload
Safety case patterns-reusing successful arguments
Download from dx.doi.org
,
D. J. Pumfrey
Safety Analysis of Hardware/Software Interactions in Complex Systems
Upload
,
K. Astley,
P. Wilkinson
Modelling Engineering Design Processes with Role Activity Diagrams
Upload
Missing publications? Search for publications with a matching author name.