지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 2011한국컴퓨터종합학술대회 논문집 제38권 제1호(D)
- 발행연도
- 2011.6
- 수록면
- 302 - 305 (4page)
이용수
초록· 키워드
오류제보하기
최근 몇 년 동안 발생한 자연재해로 인한 인명피해 및 재산피해의 규모가 매우 크며, 발생빈도가 조금씩 늘어나고 있는 추세이다. 이러한 자연재해는 근본적으로 차단할 수 있는 방법이 없기 때문에, 적절한 사전대비 또는 대응을 통해 그 피해를 줄이는 노력이 요구된다. 국가적 차원에서 이러한 자연재해 및 위기상황에 대한 대처방안을 정리하여 위기대응 매뉴얼을 만들어 배포하고 있다. 하지만, 위기대응 매뉴얼 자체에 대한 검증은 이루어진 바가 없다. 본 논문에서는 위기대응 매뉴얼이 포함할 수 있는 잠재적 문제점을 찾기 위해 위기대응 매뉴얼에 대해 정형언어를 사용에 모델링을 하고 모델체킹 기법을 통해 원하는 속성이 만족될 수 있는지를 살펴보았다.
목차
요약
1. 서론
2. 관련연구
3. 위기대응 실무매뉴얼 검증 및 개선
4. 결론
참고문헌
참고문헌 (0)
참고문헌 신청이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-000360820