SCS 2004: Brisbane, Queensland, Australia

Anthony Cant (Ed.): Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004. CRPIT 47 Australian Computer Society 2005

Paul Chinneck, David Pumfrey, John McDermid:
The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation. 33-41
Michael Ellims:
On Wheels, Nuts and Software. 67-76
Christian Hamoy, David Hemer, Peter A. Lindsay:
HazLog: Tool Support for Hazard Management. 77-87
Michael Jones-Lee, Graham Loomes:
Eliciting Measures of Value for Health and Safety. 49-58
Peter B. Ladkin:
Causal Analysis of the ACAS/TCAS Sociotechnical System. 3-12
George Nikandros:
COTS - Size Does Matter. 59-66
Yiannis Papadopoulos, David Parker, Christian Grante:
A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs. 89-95
Gordon R. Stone:
Complex Reactive Real Time Systems and the Safety Case. 23-32
Martyn Thomas:
Engineering Judgement. 43-47
Ed Williams:
Airborne Collision Avoidance System. 97-110
Fan Ye, Tim Kelly:
Contract-Based Justification for COTS Component within Safety Critical Applications. 13-22

Last update Tue Feb 14 04:10:17 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page