지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. 관련 연구
3. 제안한 정형 명세 디자인 패턴
4. 정형 명세 디자인 패턴을 이용한 정형 요구 명세개발 프레임워크
5. 분석
6. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
정형기법 Z를 활용한 열차제어시스템의 정형검증
한국정보과학회 학술발표논문집
2009 .06
안전 필수 시스템의 정형기법 적용 : 원자력 시스템과 철도 제어 시스템 사례연구
정보과학회지
2013 .05
상태차트를 이용한 철도제어시스템 요구사항 명세
한국정보과학회 학술발표논문집
2008 .06
컴퓨터 시스템 요구 사항 정의 방법
한국정보과학회 학술발표논문집
1994 .10
과전류 차단 제어 시스템 소프트웨어의 정형적 설계 및 검증
한국정보과학회 학술발표논문집
2000 .10
소프트웨어 기반의 안전 필수 시스템을 위한 안전성 분석 기법
정보과학회지
2015 .07
임베디드 시스템 개발 단계별 설계 결정에 대한 추적성 연구
한국정보과학회 학술발표논문집
2005 .11
Correctness by Construction 을 적용한 안전필수 시스템 개발
한국정보과학회 학술발표논문집
2009 .11
실시간 객체를 위한 명세 및 분석 방법
한국정보과학회 학술발표논문집
1995 .10
철도시스템 안전성 확보를 위한 시스템 설계와 안전성 활동의 통합에 관한 연구
한국철도학회 학술발표대회논문집
2016 .05
안전중시 시스템의 체계적인 설계를 위한 시스템 설계 및 안전 분석 활동 모델의 통합
한국산학기술학회 논문지
2016 .08
스마트 조명제어 시스템 - 제1-1부 : 일반 요구사항
조명·전기설비
2019 .05
원전에서의 안전-필수 시스템에 대한 소프트웨어 안전성 분석
한국안전학회 학술발표회
2005 .01
경전철 역사 개념설계 단계에서 기능분석 결과를 활용한 안전요구사항의 생성방법에 관한 연구
한국산학기술학회 논문지
2016 .04
안전필수(Safety-Critical) 시스템의 실시간 운영체제에 대한 안전성 평가
한국산학기술학회 논문지
2010 .10
지역안전도 진단 시스템 개발
대한토목학회 학술대회
2006 .10
안전중시 시스템의 모델기반 설계에서 메타모델을 활용한 기능 고장의 탐지 및 안전 요구사항 검증
한국산학기술학회 논문지
2016 .09
요구 분석 단계에서의 원형화를 위한 CASE 도구
한국정보과학회 학술발표논문집
1994 .04
키 복구 시스템의 요구사항에 관한 고찰
정보보호학회지
2000 .03
전기용품안전기준 LED조명 시스템 – 안전요구사항
조명·전기설비
2019 .05
0