(1차년도)안전한 소프트웨어 변경을 위한 추적성의 문맥적 가시화 연구