(partial) Tools: Tools for the standardised software safety assessment (the SOSAT project), G Dhall et al . An environment for requirements specification and analysis of real-time software based on timed petri nets, S Bologna et al . SAGA - a software development environment for dependability automatic controls, J L Bergerand & E Pilaud.;Standardization aspects: a generic standard for safety related computers, H Rzehak. Software measures for quality and safety, B Runge & S L Hanse;. The maintenance of computer based safety systems, I C Smith. Applications in railways and telecommunication: Possibilities and limitations of error detection by white-box testing methods, including the Domain Borders method, J-T Gayen & D Kuchta.;The introduction, use and improvement of guidelines, F J Redmill. Distributed processes and multiprocessors: implementing reliable conversation in concurrent software systems, A Clematis & V Gianuzz;. Documentation and experience: information and decision support systems for risk analysis, K Fedra. Reducing the risks from systems documentation errors, J R Taylor. Qualification methodology refinements after real world feedback, F A Monaco. Fault tolerance and probabilistics: fault tolerant computer design - the hardware implemented fault tolerant approach, C J Goring. An empirical exploration of five software fault detection methods, T J Shimeall & N G Leves;n. Panel discussions: thinking traps in programming - a systematic collection of examples, T Grams. Software safety: principles for design for safety, W J Quirk. The licensing and assessment of computer safety systems, R E Bloomfield & P K D Fro;me.
