Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents

Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun-Mi Kim. Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. In 21st International Computer Software and Applications Conference (COMPSAC 97), 11-15 August 1997, Washington, DC, USA. pages 252, IEEE Computer Society, 1997. [doi]

Abstract

Abstract is missing.