Warning: count(): Parameter must be an array or an object that implements Countable in /home/qubits6/GSNinfo/wp-includes/post-template.php on line 284

Assurance Case Forum – January 2013

Posted by GSNAdmin on February 04, 2013
Events

Presentations given during the Assurance Case Forum, hosted by the department of computer science at the University of York, UK, 17 January 2013.

Presentations:

Assurance Cases and the Canadian Software Certification Consortium (Prof Tom Maibaum, McMaster University)

The 4+1 Software Safety Principles and their relation to building safety cases (Richard Hawkins, University of York)

“Automating Assurance Cases – What’s Possible? What’s Useful?” (introduced by Tim Kelly)

Managing the Argument-Evidence Interface (Tim Kelly, University of York and Origin Consulting)

 

Comments are closed.