Wednesday 25 October, 14:30-16:00
Session 2: Software Process Improvement
Chair: J. Trienekens, TU Eindhoven and KEMA, NL

• A Dependability-Explicit Model for the Development of Computing Systems - M. Kaâniche, J.C. Laprie (LAAS-CNRS, F), J.P. Blanquart (Matra Marconi Space, F)
• Deriving Quantified Safety Requirements in Complex Systems - P.A. Lindsay, D.J. Tombs (University of Queensland, AU), J.A. McDermid (University of York, UK)
• Improving Software Development by using Safe Object Oriented Development: OTCD - X, Méhaut, P. Morère (AONIX, F)