지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
초록· 키워드
오류제보하기
등록된 정보가 없습니다.
목차
Ⅰ. 개요
Ⅱ. 철도시스템 고안전설 소프트웨어 검증 활동 및 지원도구 개발 방안
Ⅲ. 정적 분석을 위한 코딩규칙 검사 도구 요구사항
Ⅳ. 정적 분석을 위한 코딩규칙 검사 도구 구현
Ⅴ. 결론
참고 문헌
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
철도분야 안전필수 소프트웨어로의 적용을 위한 안전기준 개발 연구
정보 및 제어 논문집
2009 .10
-
산업별 소프트웨어 안전관리 규격 검토
한국산학기술학회 학술대회논문집
2014 .05
-
“소프트웨어 안전” 특집을 내면서
정보과학회지
2015 .07
-
개정 철도안전법에서의 철도소프트웨어 기술기준
한국산학기술학회 학술대회논문집
2014 .11
-
철도안전관리(4)
건설안전기술
1992 .01
-
철도 안전 관리(1)
건설안전기술
1991 .01
-
철도안전관리(2)
건설안전기술
1992 .01
-
철도안전관리(3)
건설안전기술
1992 .01
-
새로운 철도시스템
철도저널
2008 .06
-
철도시스템 안전성 확보를 위한 “(개정)철도안전법” 적용방향에 대한 연구
한국철도학회 학술발표대회논문집
2013 .05
-
다시 세우는 철도안전정책
철도저널
2019 .06
-
철도 소프트웨어 정량적 신뢰성 평가방안 연구
한국철도학회 학술발표대회논문집
2017 .05
-
철도시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석
한국산학기술학회 논문지
2010 .11
-
소프트웨어 성능공학과 소프트웨어 개발도구 및 방법과의 관계
한국컴퓨터정보학회논문지
1998 .12
-
퍼지제어 시스템 개발용 소프트웨어 도구
전기의세계
1999 .08
-
소프트웨어의 안전성 검증을 위한 모델 검증 도구
정보과학회지
2014 .04
-
철도안전법에 근거한 철도안전관리 개선방안
한국철도학회 세미나자료
2005 .10
-
철도안전법에 근거한 철도안전관리체계 개선 방안
철도저널
2005 .06
-
GIS 기반 철도사고 관리시스템 구축 방안
대한교통학회 학술대회지
2005 .06
-
철도 안전 및 신뢰 : 철도운영정책은 충분한가?
철도저널
2011 .10
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2010-326-001687998