서지주요정보
Prolog 를 이용한 소프트웨어 요구 분석 프로그램의 구현 = Implementation of a software requirements analyzer in prolog
서명 / 저자 Prolog 를 이용한 소프트웨어 요구 분석 프로그램의 구현 = Implementation of a software requirements analyzer in prolog / 최정훈.
저자명 최정훈 ; Choi, Jeong-Hun
발행사항 [서울 : 한국과학기술원, 1987].
Online Access 제한공개(로그인 후 원문보기 가능)원문

소장정보

등록번호

4104564

소장위치/청구기호

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

MCS 8747

SMS전송

도서상태

이용가능

대출가능

반납예정일

초록정보

In this thesis we designed and implemented an algorithm for analyzing logical errors which are often encountered in the software requirements specification. The software requirements are assumed to be represented as Prolog facts. Nominal specification errors can be detected by applying Prolog rules to theses facts. However, for efficient retrieval and manipulation of information needed to check the consistency and completeness of requirements. We devise a special purpose data structure derived from a graph structure. This algorithm has also been implemented in Prolog and will constitute an essential component of a full-fledged requirements analysis system.

서지기타정보

서지기타정보
청구기호 {MCS 8747
형태사항 [ii], 37, [4] p. : 삽도 ; 26 cm
언어 한국어
일반주기 부록 : RSL의 문형구조
저자명의 영문표기 : Jeong-Hun Choi
지도교수의 한글표기 : 권용래
지도교수의 영문표기 : Yong-Rae Kwon
학위논문 학위논문(석사) - 한국과학기술원 : 전산학과,
서지주기 참고문헌 수록
주제 Software engineering.
Specifications.
Computer software --Development.
프롤로그. --과학기술용어시소러스
소프트웨어 공학. --과학기술용어시소러스
소프트웨어 사양. --과학기술용어시소러스
명시. --과학기술용어시소러스
Prolog (Computer program language)
QR CODE qr code