지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 2002년도 가을 학술발표논문집 제29권 제2호(Ⅱ)
- 발행연도
- 2002.10
- 수록면
- 19 - 21 (3page)
이용수
초록· 키워드
오류제보하기
Writing requirements in formal notation for a safety-critical system can improve software quality and reduce the errors that may arise later on in the software development life cycle. In this paper, we propose a formal specification approach used to describe the nuclear control system. The approach is based on the existing AECL approach that was the on ... 전체 초록 보기
목차
Abstract
1. Introduction
2. AECL Approach
3 The Proposed Approach
4. Conclusions and Future Work
References
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Analysis of the Formal Specification Application for Train Control Systems
Journal of Electrical Engineering & Technology
2009 .03
-
The Analysis of Formal Methods for Applying to Vital S/W in Train Control Systems
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2007 .07
-
열차제어시스템 바이탈 소프트웨어를 위한 정형기법 적용 방안 분석
한국철도학회 학술발표대회논문집
2007 .05
-
통신 소프트웨어의 정형적 명세 방안
한국통신학회 학술대회 및 강연회
1997 .01
-
Automated Test Generation from Specifications Based on Formal Description Techniques
[ETRI] ETRI Journal
1997 .08
-
Towards Better Specifications
TENCON 87 - Computers and Communications Technology Toward 2000
1997 .01
-
정형 소프트웨어 요구사항으로부터 PLC 디자인의 체계적 생성
정보과학회논문지 : 소프트웨어 및 응용
2005 .02
-
Z와 Statechart에 의한 열차제어시스템 바이탈 소프트웨어 개발 방법 분석
전기학회논문지 P
2008 .06
-
요구명세언어 및 요구분석 지원시스템 개발 ( Development of Software Specification Language and Software Requirements Analysis System )
특정연구 결과 발표회 논문집
1990 .01
-
A Process Interaction Specification Method for Communication Software
JC-CNSS : Joint Conference on Communications, Networks and Switching Systems
1988 .01
-
PVS를 이용한 SCR 스타일의 소프트웨어 요구사항 명세에서 기능 요구 사항의 정형 검증
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2002 .02
-
안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성
정보과학회논문지 : 소프트웨어 및 응용
2008 .12
-
객체지향 설계에서 정형명세를 이용한 컴포넌트 설계로의 변환 기법
정보과학회논문지 : 소프트웨어 및 응용
2004 .07
-
An Approach to Providing a Proof Tool for Z Specifications
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2003 .07
-
객체지향 소프트웨어 개발에서 요구사양에 대한 검증방법
정보과학회논문지(B)
1998 .05
-
요구사양 설계 플랫폼 적용을 통한 확장형 차량 어플리케이션 소프트웨어 개발에 대한 연구
대한전자공학회 학술대회
2020 .08
-
디지털 원자로 보호 시스템을 위한 정형 소프트웨어 요구사항 명세
정보과학회논문지 : 소프트웨어 및 응용
2004 .06
-
기계설비분야 시방서의 국내 기준과 해외 기준 비교
대한설비공학회 학술발표대회논문집
2015 .06
-
Extended Mind Map for Software Requirement Specification
한국정보과학회 학술발표논문집
2013 .06
이 논문의 저자 정보
이 논문과 함께 이용한 논문
비동기적 소프트 에러율을 활용한 레지스터 파일의 신뢰성 향상 방안
고요한
,
이경우
한국정보과학회 학술발표논문집
2011
.11
SC-FDE에서 주파수 도메인 파일럿 시스템의 시간도메인 접근
하영선
,
정원주
정보 및 제어 논문집
2010
.10
단일축 등화를 위한 복소수 자기적응 등화기의 성능
박장우
,
하영선
,
정원주
정보 및 제어 논문집
2009
.10
Genetic-Fix Algorithm을 이용한 다중 송신 다중 채널 무선 메쉬 네트워크에서의 채널 할당 최적화
최형규
,
한승재
한국정보과학회 학술발표논문집
2008
.10
함수 블록 다이어그램으로 구현된 PLC 프로그램에 대한 정형검증
지은경
,
전승재
,
차성덕
한국정보과학회 학술발표논문집
2008
.06
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017877420