지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 2012한국컴퓨터종합학술대회 논문집 제39권 제1호(B)
- 발행연도
- 2012.6
- 수록면
- 126 - 128 (3page)
이용수
초록· 키워드
오류제보하기
소프트웨어 시스템의 안전성을 보장하기 위해 여러 안전성 분석 기법들이 사용되고 있으며, 안전성 분석의 결과인 안전성 요구사항을 시스템이 만족하고 있는지 확인하는지 확인하는 안전성 평가과정이 수행되고 있다. 안전성 평가는 많은 시간과 비용이 드는 문제점을 가지고 있다. 본 논문은 안전성 평가에 드는 시간과 비용을 줄이기 위해 테스트 케이스를 이용하여 안전성 요구사항을 소프트웨어 개발의 가장 ... 전체 초록 보기
목차
요약
1. 서론
2. 관련 연구
3. TC2SMV
4. 결론
사사
참고문헌
참고문헌 (0)
참고문헌 신청이 논문의 저자 정보
이 논문과 함께 이용한 논문
VANET환경에서의 지역 기반 GPSR 기법
손사민
,
김연
,
김종완
외 2명
한국정보과학회 학술발표논문집
2009
.06
SMV를 이용한 Structural Decision Table 명세의 정형검증
전승재
,
지은경
,
차성덕
한국정보과학회 학술발표논문집
2006
.06
SMV를 이용한 모델 체킹 검증 기법의 사례 연구
남원홍
,
최진영
,
한우종
외 1명
한국정보과학회 학술발표논문집
1999
.04
SMV를 이용한 유한 상태 기계의 동치 검사
권기현
,
엄태호
정보과학회논문지 : 소프트웨어 및 응용
2003
.08
청소년 봉사활동 참여실태 조사 연구
김정배
,
정익재
한국청소년정책연구원 연구보고서
2000
.12
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-002604530