의 대학본부는 현재 5.18연구소로 쓰이고 있으며, 정문은 5.18 사적지 목록 1호, 전남대학교병원은 9호이다. 시민군 중 이 학교 학생 희생자도 있다. 서호빈이 그 주인공 ... 시위가 있었 던 곳이 이 학교 입구이고, 계엄군들은 교내에 주둔하며 사람들을 무차별로 잡아와서 마구 구타하기도 했으며 그 과정에서 맞아 죽은 사람도 여러 명일 정도다. 그래서 과거
12) 정적 프로그램 분석(static program analysis)은 무엇을 말하나요?실제 실행 없이 컴퓨터 소프트웨어를 분석하는 것을 말한다. 대부분의 경우에 분석은 소스 ... 의 이해를 통해 인간에 의한 자동화된 툴을 사용한 분석, 또는 코드 검토에 적용된다. 소프트웨어 조사와 소프트웨어 검토는 후자의 경우에 사용된다.13) 정적프로그램 분석에서 정형 방법 ... 론은 어떤 방법론을 말하나요?정형 방법론은 그것의 결과가 순수하게 엄격한 수학적 방법론을 통해 얻어지는, 소프트웨어 분석에 적용되는 용어이다. 정지 문제에 대한 간단한 축소판