서지주요정보
Assertion 기법을 소프트웨어 요구 분석에 적용하기 위한 연구 = A study on application of the assertion techniques to analysis of software requirements
서명 / 저자 Assertion 기법을 소프트웨어 요구 분석에 적용하기 위한 연구 = A study on application of the assertion techniques to analysis of software requirements / 차신.
저자명 차신 ; Cha, Shin
발행사항 [서울 : 한국과학기술원, 1987].
Online Access 원문보기 원문인쇄

소장정보

등록번호

4104545

소장위치/청구기호

학술문화관(문화관) 보존서고

MCS 8744

SMS전송

도서상태

이용가능

대출가능

반납예정일

초록정보

In this thesis, we discuss a method of applying assertion techniques to software requirements analysis to enhance the reliability of the requirements specification. Assertions are used for expressing the user's intention and the constraints imposed on the software requirements. An assertion language is designed by augmenting assertion facilities to the Requirements Specification Language(RSL) and thus has the same domain of discourse as RSL. This assertion language takes the form of Entity-Relationship Calculus which is based on the Entity-Relationship model and the predicate calculus. Describing assertions and their processing of the model constraints require semantic analysis. Therefore, we have incorporated an assertion processor into the existings requirements analysis system.

서지기타정보

서지기타정보
청구기호 {MCS 8744
형태사항 ii, 42, [8] p. : 삽도 ; 26 cm
언어 한국어
일반주기 부록 : 1, 〈RASL의 구문〉
저자명의 영문표기 : Shin Cha
지도교수의 한글표기 : 권용래
지도교수의 영문표기 : Yong-Rae Kwon
학위논문 학위논문(석사) - 한국과학기술원 : 전산학과,
서지주기 참고문헌 수록
주제 Specifications.
소프트웨어 공학. --과학기술용어시소러스
소프트웨어 사양. --과학기술용어시소러스
명시. --과학기술용어시소러스
Software engineering.
QR CODE qr code