Titlebook: Computer Safety, Reliability, and Security; SAFECOMP 2017 Worksh Stefano Tonetta,Erwin Schoitsch,Friedemann Bitsch Conference proceedings 2

使腐烂

COMA

A Thought Experiment on Evolution of Assurance Cases of conformance of their in-house software life cycle to a safety standard. The working hypothesis of the experiment is that assurance cases help find problems in arguments on software life cycle and improve the life cycle. Based on the result of the thought experiment, questions for further empiric